The pump from http://www.jrsupplies.com is excellent. Only about
$100. Never needs electricity. Just keeps working.