I would have to agree with him on the heatsink product. but make sure you lapping the heatsink until the nickel is gone.
If you don't know what Lapping is. There is a topic forum here all about Lapping CPU/Heatsinks
UPDATED (FEBRUARY 15, 2010)
But If I overclocked it back to 3.77Ghz I would be 22096 and If I overclocked it back to 4.0Ghz it would be 24307. I did some benchmark test about 4 times and got the results. I was happy with 24307