He should get a new cooler then. Its less expensive than a new CPU.
I get a new one before too, still have the boxed one...

But i wait till my new GPU arrives (tomorrow or the day after i think) and look how it increases my performance on the Benchmark.