Have you noticed a whining or grinding sound coming from the water pump area? Water pumps and timing belts generally get replaced at the same time.
Since our technician would have already gotten things taken apart (for the water pump) and the belt’s likely been contaminated by coolant, it’s best to replace the water pump and the timing belt at the same time.
On the positive side, this will save you money in the long run since you won’t be paying labor costs twice.
Here is a previous post link about water pumps