Really 8000 is about all anybody is running with a 4.25 stroke. We have had some running a 4.00 stroke and running 8500. But the idea of 9000 just sounds very interesting, plus with a lower gear and more rpm there should be more torque available at the wheels, but if there isnt enough air available it will fall on its face!