When we pulled into the Auto Doc in Mammoth Lakes, California, the owner came out to hear what all the ruckus was (the pully rubbing the electric fan). For our part, we were glad to find a place with other Jeeps outside. The owner was very nice, calling every parts store in town trying to get us a pump. By the time we found out that wasn’t going to happen that day, we’d calculated the amount it would cost us to buy all the tools to do the job. We decided that to have the Auto Doc do the work would cost about the same. So we had the Auto Doc do it, and we were on the road the following afternoon.