Maybe another (better) mechanic could fix the leak on the pump without replacing it. Or maybe a mechanic could take off the pump and you could send it to a Bosch service center for repair then have it reinstalled. Certainly that must be cheaper than 2k.