The pump I referred to is Jabsco part number: 42510-0000 pump only. Unfortunately these are discontinued. There is an alternate, most likely made In China:
"TMC Replacement Marine Electric Galley Water Pump with Mounting Clamp 12V for Boats and RVs, Five Oceans FO739"
For $32 I probably would take a chance. All of these are 3/8" tubing, so I used a reducer to the 3/8 and then back up to 1/2" for the tube to the foot pump and or
These pumps are not self priming, so they have to be below the top of the water column. This is another reason to leave the foot pump in series with this pump, so it will prime it. The other way would be to put the pump near the output of the freshwater tank, if yours drains from the bottom.
Occasionally I see these pumps in consignment shop.