Getriebeschaden? Hilfe!

Hallo allerseits!

Mein Vater fährt einen 730iA E38, Baujahr 1996. Letzte Woche bemerkten wir, dass der Wagen etwa in Höhe des Motorblocks Öl verliert, und davon nicht gerade wenig.
Wir brachten ihn gestern in eine (freie) Werkstatt, um ihn mal untersuchen zu lassen. Das Fazit nach einem Tag: Der Meister meinte, im (oder am) Getriebe sei ein Simmerring (schreibt man das so?) kaputt. Um das zu beheben, müsse man das komplette Getriebe ausbauen, Kostenpunkt mindestens um die 700 Euro.
Jetzt eure Meinung: Ist das wirklich nötig oder ginge es auch anders, bzw günstiger?
Schonmal danke!