Jeezus--- $1488 for a little pump? I've replaced those for a less than
$200 DIY. Two bolts on the mount, two on the flange, and three wires.
Half hour of labor. Even used to keep a spare on the shelf, just in
case.

Thanks, Papa, me grand-dad who taught me to just do it myself rather
than getting a serviceman in.