The pump will work fine until it fails again.

If you are in the Chicagoland area, I can do the pump replacement easily. Takes less than 30 minutes. Most dealerships I have encountered can't even diagnose the pump as the problem.