7 Zündkerze rausgebrochen 740,4.0 Bj95

[Bmw740 4.0 AC]

Hallo,
folgendes großes Problem:
hatte ein Geräusch im Motorraum und stellte fest das die 7 Zündkerze (Zylinderkopf Fahrerseite und vor den Frontscheinwerfern stehend gesehen die 3 Zündkerze) keinen halt mehr im Zylinderkopf hat. Der Zündkerzenstecker war verbogen. Die Motorenwerkstatt sagt, das sie an dieser stelle nicht an die Zündkerzenstelle mit ihrem Werkzeug kommt um ein größeres Gewinde zu fräsen.
Die Werkstatt sagt: entweder Kopf runter neues Gewinde fräsen, neu planen etc= ca 2500 euro. oder Motor anheben(Gefahr mit der Automatik) oder Motor selbst ausbauen und vorbeibringen.

2500 Euro ist mir definitiv zu viel Geld für diese Reparatur.

meine frage:1 was für Möglichkeiten kennt Ihr für eine solche Reparatur? und wer kann diese ggf durchführen?

2: eine neue Zündkerze fällt zur Zeit ohne Widerstand in das Zündkerzenloch hinein, bringt das Gewindeschneiden(handelsübliche Zündkerzenreparaturset mit Hülse) da noch etwas?
Standort
Raum Aachen
km des Autos: 185000
Bitte um zahlreichen Erfahrungsaustausch.

Vielen Dank für Eure Mühe
Gruß
Axel