I'm not sure about the pump.It's been around as a spare for quite some time. At $75 dollars.. if it needs attention it's till better than the cost of a new one at $500+++.

Don