I've never even considered a mini-pump. The thought of all that extra back-and-forth makes me tired, just thinking about it!
I do wonder, which lost gloves are most prevalent? Right, or Left hand? I'm betting right, since folks are most likely to take off the glove on the dominant hand to do stuff...