If he has an nVidia card (and me thinks he does) he should try nTune. It's an nVidia based performance tuner designed for nVidia cards. It works more magic on nForce motherboard chipsets (especially recent ones). It takes 20 minutes or more to run, but it experiments with different FSB speeds, memory timings, GPU core speeds.
It can lock your machine up, but that's normal. Reboot (either wait for it to do so automatically) or do a hard resest. Once the machine starts again, it continues to tweak.
I gained quite a bit of performane on my (albiet brand new) high end system.
Check out this thread;
http://www.shitstorm.org/viewtopic.php?t=7216
I described a lot here, don't feel like cutting and pasting, or typing it again.