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 pumpsure it's leaking from the pump and not just the hoses.
Unless the Renan company is wise enough to thread the inside of the shaft so a standard installer tool can be used. Yes make sure where the leak is coming from.