Well guys,

I'm glad I asked, because now I realize I don't really need to have the electric pump. And the manual one even affords me a little workout on trips when nothing else is going on! Thanks Mike for bringing the option of a manual pump up - I'll go for that one!