That sounds a bit on the high end, considering that 65 is the highest my system (early i7) goes when fully loaded

But their i7 is probably stuffed in a room with 10000 other machines.