Manual vs. Electric Pumps: Battery Life and Noise Etiquette