If you already have the pan off, just replace the pump. It's cheap insurance.