Hallo,
bei mir wurde es ca. Anfang des Jahres gemacht. Deckel und Dichtung erneuert.
Beim letzten Ölwechsel (bei 60Tkm vor 2 Wochen) alles im trockenen Bereich gewesen.
Ansonsten hätte ich bei denen auch wieder auf der Matte gestanden! Müssen ja Garantie darauf geben.
Ich denke mit 600€ bist du noch gut dabei. Hab gehört das soll normal um die 1700€+ kosten....