I forgot to mention the pump we got from Defender. It has settings for everything from the main tubes to the high pressure floor. It requires a 20 amp circuit (if memory serves), so your typical cigarette lighter outlet is really not adequate. We find that faster inflation (and deflation) makes the chore of setting up the dinghy enough easier that we don't mind doing it (too much).