Hi, it's now my sons PC custom cooled but all depends on your CPU Voltage, some where round 1.31v in the Bios for 4.0GHz.
A H50 should be ok at that kind of voltage, l'll check the Bios as the mobo is an Asus P6T DLx and give you the settings tomorrow.