I bought one last year - still sitting in the box. I paid $300. RV dealer was going out of business. Never hurts to have a spare.
Bought 3 new water pumps for $10 for the lot. Other stuff too - pennies on the dollar.
I'll keep watching to see if you get an answer.