So lange das Auto/Getriebe noch Garantie hat, Option 1.
Danach könnte man über Option 3 nachdenken, schadet sicherlich nicht.
Entscheidender als die Fahrweise, ist der Jahrgang des Getriebes für seine Haltbarkeit. Die jüngsten Synchro-Probleme treten erst ab Jahrgang 23 auf. Ob das Thema mit den aktuell verbauten Getrieben wieder gegessen ist, weiß ich (noch) nicht.
Mein 2020er hat aktuell 47Tkm gelaufen, davon ca. 2500km Rennstrecke auf IS Öl. Schaltet einwandfrei und macht keine Geräusche...