Ok, aber die Dichtung hast du, vermute ich mal, doch auf der AB gekillt.
Reparieren würde ich ihn auf jeden Fall, nur nicht bei BMW. Hast du keinen Kollegen, der sich mit Autos auskennt?
Dann kommst du auch ganz günstig weg mit den Kosten.
Denn für 2500 Euro und das auch noch bei einer Werkstatt, nach der während der Rückfahrt die Kiste wieder angefangen hat zu kochen, würde ich auf keinen Fall reparieren lassen und die kochen auch nur mit Wasser.