I can only assume the mini tire pumps out there would be a real grind to use for pumping up a 4" tire. Is there a good tire pump I should look for?