I bought mine on ebay last October for $22 direct from China. Presently I do not see any of the same pump on ebay except for ....
this one. And they now want $35 but also has some hose adapters included. No swivel ends though...
Or
this one with brass threads instead of molded polymer.... for $56
I see a few like mine but in 24 volt DC versions. There are also a lot like the one Shadow Catcher bought, like
this one, for under $20.
My choice was based to a large degree on having the inlet and outlet in the same plane, at 180 degrees to one another as it made the plumbing lines simpler in what I envisioned.