Das ist richtig, obwohl, die abgerissenen Zähne nicht zwangsläufig auf altes/zu wenig Öl zurückzuführen sein muss.
Ich kenn diverse E38 und E32-Fahrer, die noch nie Öl gewechselt haben, und das mit über 250000 km, auch wenn ich das nicht empfehlen würde...
Ist halt ein "normaler" Getriebeschaden
Auch der liesse sich reparieren.