Get a manual pump. About 85% of the people who have purchased electric pumps have gone back to manuals. Electric pumps are expensive, and they encounter a lot of problems.