Wow that would've sounded horrible when it went. Definately getting a pump change when the timing belt is replaced.
I recently did my ancillary belts and even though my fan belt was tight, I had to tighten it again to stop squealing.
Kinda makes you wonder just how tight is overtight.