Du meinst also, der Tausch des Teils der Pumpe für 83 Euro wäre ausreichend gewesen?

Ja. Kann jeder in 10 Minuten selbst auswechseln. 2 Schrauben, 1 Kabelstecker!

Ich weiß echt nicht, woher Deine Unzufriedenheit kommt.

Sorry, aber bei manchen Themen hab ich immer so einen Beissreflex.
Halte mich daher mit weiteren Spekulationen zurück!!!