I got a pump from a fellow member, however I have a question. The pump is from a 89, I have a 94 YJ. The pump had a v-belt pulley, I have a serpantine, no big deal I bought a new pulley but the pump shaft is 19mm, the pulley for my year is 17mm I could just turn it on a lathe; or did they make a different size serpantine pulley than the one that I got? Also, does anyone know what size bolt the pump shaft takes?