Is the water pump driven by the timing belt? If so that might have just been replaced because it is old and once you get the engine out to replace the timing belt you might as well replace the water pump.
It almost certainly wasn’t a 25 year old timing belt. The timing belt was last changed in 2018, but it probably is on its 4th or 5th timing belt. At least that is what I understand is normal for Ferraris from this era.
