Thanks for all the help!
The pump was installed, and still works fine.

Dugie

"Dugie" wrote in message ...
After the double-check, I'm sure the (fairly small) leak is at the water pump, so I'll replace it. Luckily there
is
no rust.