I'd replace it just because you'll already be there draining coolant and all that, and the pump itself isn't that expensive. And you'll be good for another 5 years at least.