Well it's sort of a matter of opinion. I always double clutch and downshift, although it isn't necessary. A syncro is there to do it's job,and when they can't do it anymore, that's when they need to be fixed. As long as you properly dbcltch and downshift you might add life to the syncros, that's about it. Otherwise as long as you shift properly, and wait for the syncros and not force them, you should be ok. The best way for me to describe a syncro is like a miniature sprocket that rides along the layshaft. What happens over time is that the teeth on the syncro wear down, just like a gear after hard prolonged use. When those teeth on the syncro wear down, you will then not be able to shift into gear without grinding, whether you rev match or not. They can also be intermittent untill they are gone completely. I hope that I explained that ok? Also, for daily driving, letting the syncros do their thing is just fine. You put a lot of miles on your car in one year, if this is the only problem that you've had with it then I would be very happy with it BTW. Question for you though, when at a stop do you rest your foot on the clutch pedal, or keep the pedal depressed to the floor while waiting? Those are a couple of things that can prematurely wear on a TOB. I'm sure that you already knew that although I'm just checking.