If you go with a new pump, disassemble it, inspect and clean it before you install it.

You will be really annoyed if some machining debris jams up the rotors and it twists off the pump drive.

Kevin