NB. I just posted a similar question regarding another piece of equipment. I've though about it but decided that those are two different questions and made it convenient for me by copying most of the text.
What would be the right term for air pressure pump that e.g. gas station's personnel would use? C.f. traffic turn indicator would be called blinker. So I'm looking for an informal name used by common people.