Hi Paul,
I just mailed the manual to you in pdf format in case you need it. The manual says that the rpm can be from 7500 to 11700, but it will work to more than 12000. I can make it work over that too if necessary. I just figured nobody would need to run that fast, but it is possible,
Keith R