Oh yeah - hand pump - it's not a problem if it doesn't leak while closed. Unless of course you need to USE the pump to prime the system after replacing the main filter! A new pump is ~$20 from online sources. Wouldn't hurt to replace it.

__________________
Dave
Boise, ID
Check out my website photos, documents, and movies!