3 ms·

I bought a pump for 5€ and we have been using (4 people) it regularly for around ~10 years. I know, inflation.