Mini pumps are hardly the most exciting bits of kit, but a bad one will cause you more grief at the worst possible time. Worth the steep price tag for peace of mind? -