a friend is overclocking a P4P800/2.4C/Corsair3200/FX5900 and during a 3DMark03 run he scored 5000+.

Afterwards, he did some OCing, reloaded a few board drivers and now can't get much over 3DMark03 4000+.

Any ideas on what he needs to look for?