Got me thinking, with your motor maxing out at 3700rpm and going to a 2.5" pulley, not even taking into rpm loss from the couplings (engine to jackshaft etc...) your chain would be at 9000rpm unloaded..........you might consider changing your ratios to be much higher unloaded and strive for the 9-10k loaded to achieve result similar to a two stroke, . . .
This is not necessary if you have enough torque which his 4 stroke obviously has. If he wants to cut faster he can just drop his rakers some more. The guys using lucas mills with the slabber attachments running at 3500 rpm use more than 0.05" (some use 0.06") rakers on new 404 chains. This just ploughs through aussie hardwood like a knife through hot butter.