Hørtes veldig spesielt ut å bytte en girkasse pga en liten ulyd som kunden ikke har klaget på. Hvis det ikke plager deg og du ikke merker noe ville jeg bare kjørt med det.
Autodata oppgir 3 timer for skifte av clutch (som absolutt er å anbefale når man skifter girkasse). Dvs 3-5K i arbeid med normale timepriser.
Hvis det blir aktuelt å bytte ville jeg sjekket ut brukt på f.eks http://no.bildelsbasen.se/