NO WAY!
it was on a triple radiator dude
if i was buying an x58 board i would only consider 3 boards for the following reasons...
Gigabyte - UD5
[great VFM, performs the same as the extreme for less £, better than the Rampage2, uk based RMA service]
Evga classified
[great if money is no object and you have plans for multi gpu madness, dont get this if you aren't watercooling as the police will knock on your door and arrest you for committing treason against hardware]
Biostar X58
[nice price, great quality, good bios/support, great clockers - mine did 222 BCLK]
i think you will be fine
a D0 @ 4GHz clock on a thermalright ultra/noctua should be easily obtainable on what i suggested
just aim to get the cpu Vcore below 1.3V