Did he do the 30k tune up yet? If not that could be limiting him somewhat. Cap, rotor, plugs, fuel filter (I think?), and get somebody to do the valve adjustment - for a start