That must have been an old system! They bought cheap chinese pumps years ago... cost $6 a piece for 10k of them, around the time I left...
I've had good luck with Bosch and even better with Carter, but Carters are noisier because of the better vane drive.