Just tell him to buy a decent heatsink, lock his PCI bus @ 33 Mhz, his AGP bus @ 67 Mhz, and give his processor 10% more vcore than stock (plus, whatever it takes to overcome the vdroop), and see how high he can get his fsb. It's not hard, it just takes a few days, for stability testing.