Good idea! Maybe an RV water pump with a 12 volt power supply would do the job. When I get some time, I’ll try pulling the pump out of my RV and see if it can pump enough. It’s on demand – whenever the pressure drops, it kicks on.
Thanks Sir Henry. The barrel has a lid on it, so I have left the lid slightly ajar.
