I would do the pump. Do the belts while you're in there.

I had my pump go south on my at 38K, and it was not pleasant waiting almost 6hrs for a tow..