Ok, ich sag dir jetzt noch was es an meinem 94er 740i war: Ventildeckeldichtungen bei BMW machen lassen ca 300 Euro und obere Stirndeckeldichtungen bei BMW 350 Euro. Also bevor ne freie Werkstatt ohne Ahnung am 7er rumpfuscht, lieber nen Fachmann der weiss was er tut ran lassen( war nicht sexistisch gemeint
) Ist im Endeffekt wahrscheinlich sogar billiger, effektiver allemal.
Gruss
Olli