Those are unique in that the normal installer for the pulley won’t work. Unless the shaft on your new pump is threaded. It has to be pressed on with the pump can off.
Crap. So even if I get a reman pump, I have to pull the thing apart to change the pulley? That's not simple and convenient! Looks like my new strategy is to wait till I get the car back and make damn sure the leak is from the pump and not just the hoses.
