A non cyclist at work, one of the local bosses, has asked me if I could submit a case for getting a fixed pump and tool station installed near the bike shed. I've seen these occasionally at railway stations, a robust pump fixed in the ground with a variety of allen keys and other tools hanging off on cables. Are these a good idea ? Do people actually use them ? How much do they cost ? Are they worth it ?