what's a ballpark temperature for a i7 at 4GHz full load with decent watercooling?