Just experienced a similar issue, got away without replacing the pump by opening it up and clearing some rust/debris that was jamming the impeller. Something to note is that aux pump B is the one one...