No, I don't have a serpy to hand to measure either, unless the crank pulley is a huge amount bigger it will be ok, I've used the std pully pump crank pulley at 7800rpm.
tabetha