Pump was O.K. and had already been replaced previously by P.O. My car has only done 150Ks (kilometers - 100K miles)

Next time I need to do this job, I estimate it to take less than 4 hours.

The real pain is that less than two months ago I replaced the belt tensioner. I should have done this job then. However two months ago we weren't getting 118 degree F days or three days in a row over 110 degree F in Melbourne Australia

If your pump is suss I would replace it.