Hat sich erledigt.
In einer freien Werkstatt für 80,00€ (mit Rechnung natürlich!) repariert.
Offensichtlich hat außer mir niemand das Problem.
Sehr erfreulich.
Ich werde jedenfalls weiterhin einen großen Bogen um den „Freundlichen“ machen.
Ersparnis heute ca. 3.720,00 €!
würde mich auch interessieren.