They gave us a Bravo High-Pressure 12v pump. Works perfectly but comes with alligator clips to connect to a battery, so we got a rechargeable 12v battery pack from Amazon (about $100) in order to use it on the foredeck.

If I can't be a good example, I'll just have to be a horrible warning. [Linked Image]