Speaking of pumping tires, what are some good recommendations for a pump? The one we had went with the kid to college. My husband is an OCD/retentive mechanic. He cussed at that pump more times than I can count. So, I need to replace it with a GOOD one!