I would advise on changing the water pump while it's in bits.
I did mine at the weekend.
Timing belt, tensioners, water pump and ancillary belt.
Parts were £200 for genuine OE.
I was quoted £360 labour with little guarantee so I bought the alignment tool and did it myself.
It's very involved but do-able. Took me 10 hours. If I wasto do it again I reckon I could push to 8 hours.