The pump was a freebie from @emorth. I had spare alligator clips from an old inverter, some spare wires, a 12v relay, and a momentary switch, and just had to source some hose and some brass fittings. I ran a switch along the fill hose to control the pump. Total investment is less than $20. It's dead simple.