Get the dark knight bro. It is cheaper and one of the highest performing heatsinks EVER.
Also 4 Ghz is not guaranteed unless you get a D0 stepping and even then ANY aircooling might not be fully sufficient if your case is not very well cooled.
Edit: My dark knight keeps my i7 920 @ 4.0 Ghz pretty well with an after market 110 CFM scythe fan and a case with 2 88 CFM scythe intake fans in the front, 2 exhaust ones on the top, and 2 39 CFM 92mm fans in the back. My temps are about 70c when at full load. Right now I am using a nice watercooling loop to cool it at 4.2 Ghz, but air cooling wont work at that voltage. Also note that I do not have a D0 stepping, sadly. Also note that my case houses some space heaters (2 4870 X2s at the time), so you wont need all that cooling.
Message edited by The_Blood_Raven on 06-29-2009 at 11:47:42 PM
I would go with the Thermalright IFX. If you order from Crazy PC.com they will even lap it for you for $25.00. I hope that you are using a full size case. You will also need 2 140mm fans. The IFX is the leading air cooler tested at X-bit Labs last time I checked.
The prolimatech megahalems tested best, but the thermalright is not far behind.
For best cooling, you can get a high output fan, but you will pay the price in noise. There are some real screamers available.
The review used a yate loon D12-SH-12 fan for the overclock tests.