Ich bin froh, dass dein Auto wieder heile ist.
Also bei mir ging 4 Jahre später das Getriebe endgültig kaputt. Ich habe aber zum Glück ein gebrauchtes Getriebe für 280€ ergattern können, nach ca. 6 Monate Suche. Meine Empfehlung:
Wenn du die erste Zeichen hast, schau einfach in den Kleinanzeigen oder ähnliches für ein gebrauchtes Getriebe und kaufe es und lager einfach. Mittlerweile sind die Autos so alt, da kann jederzeit etwas kaputt gehen und unerwartet. Also wenn ich damals so schlau wäre hätte ich längst eins geholt und ins Keller gelegt.
Just my 2 cents.