Ian
You've cheered me up and I've looked at the workshop manual. This says you need to get TDC on No 1, lock the flywheel through the hole in bell housing and lock the pulley. Then remove the pump.
Is it really that straightforward?
With tool LRT-12-045 it is....
(which is one I tool I keep meaning to buy... or get one to copy
)
If you can't find one of these, I have got all the other tools needed to remove the timing belt
Rotating the cambelt and re-tensioning isn't always needed, but I always rotate and recheck as a matter of course...
In all honesty I don't know how long it takes to do a cambelt, but then I don't work in a garage or do it for a living (though I do work with engines all day long!), but the last I did took 7 hours... but this also covered cleaning everything properly, all new oil seals, etc etc etc. And drinking coffee and eating etc.
I have done quite a few of them now, but always take my time rather than rushing them...
Obviously yours would be split over a couple of days, whilst you sent your pump to be repaired..
You'd probably be looking at a couple or 3 hours to get everything stripped down and the pump removed.... without going at it like a bull in a china shop!! Then you could clean everything at your leisure, and put the pump back when done.
I've no doubt people would do it in less time, so could I if I really wanted too.....
Ian