My original pump didn't quite make 50K miles. I would remove the belt and check the pump for smooth rotation or play. If it's OK, let it go. I replaced mine with an OEM part, but get it from Cummins if you can, a dealer will really hammer you on the price. The other option is a $50 "imported" pump, but I don't know how you feel about that. It wasn't an option for me.