That is what i was thinking.
Thanks for confirming.

Any recomendations for the replacement?
I recall seeing some people have gone with a Johnson Pump... who caries it?
I saw a Bosch Intercooler Fluid Pump on Needswings for $129ish.