Anyone know what the motor speed is on a carbide grinder. I know they are a higher rpm than the average bench top. The Baldor says 3600, the Enco and Grizzly are 3450,