OK. Found a good reference on Chris Miller's page on replacing the pump. Where can I get the best deal on a new pump? Anyone want to sell me their 3214 pump tool? LOU