In reply to MonkeyPuzzle:
They're bigger, but a manual pump, like the kind for inflatable tents or power kites are quicker and quieter (and less fallible).
Those cheap electric pumps are VERY slow and VERY noisy - which as a combo when arriving late to a campsite isn't going to make you many friends.
I had a couple of those cheap bellows pumps, but they never seemed to last more than a year, and again were always pretty loud.
Post edited at 17:19