The cam belt has to come off to change the pump, and we all know the potential for damage when belts are removed / replaced...
At the very least, I would be considering replacing the cam belt tensioner, but then that's the most expensive of the parts, so you could change the belt again to be...