wenn die Werkstatt dir die Pumpe nicht fachgerecht eingebaut hat, dann würde ich das reklamieren. Schließlich hast du dafür gezahlt, dass eine neue Pumpe eingebaut wird.
Ansonsten rate ich dir zum Buch "Jetzt helfe ich mir selbst" oder "So wirds gemacht", wobei ich das zweite besser finde (detailierter).