My G's in the shop becuase the syncro went on the 5th gear. The tech working on my car is suggesting that I replace the clutch now. Should I let the dealership do this or should I wait till Christmas? My car will be stored during the winter and at that time I can install an aftermarket clutch and flywheel? Any difference in prices?