Vielen Dank für die zahlreichen Antworten!
Ich habe nun einen schriftlichen Kostenvoranschlag erhalten und nun ist einiges klarer. Es soll nicht "nur" die Kupplung getauscht werden, sondern vor allem die Antriebseinheit (Aktuator) des Doppelkupplungsgetriebes.
Materialkosten Kupplung: 1110€
Matieralkosten Antrieb: 2600€
Arbeitszeit: 2000€
+MwSt...
In die Werkstatt gebracht haben wir das Auto, weil es mittlerweile bei fast jeder Fahrt nach ca. 10 Minuten mit der roten Warnung "Getriebe kontrollieren lassen" stehen bleibt. Wenn wir es dann abschließen und 5min warten, lässt es sich wieder starten und fährt weiter als wäre nichts gewesen. Hier klingt ein defekter Aktuator wohl (leider) plausibel oder?