Roger, thanks for that (and for correcting my stupid spelling slip): that's
pretty much what I thought myself. No fish are involved in the plans but
I'd like to be able to run the pump most of the time: easiest and safest
thing would presumably be to run out a low-voltage cable from the house.