Cheers guys, just had the gearbox oil changed recently in the 100k service (about a month ago). From what I was told there were no shavings or flakes attached to the drain plug, although it's been happening more regularly since the service.

Is it worth pulling everything out for 1 synchro? I'm thinking while I'm in there getting a new clutch as it will all be off pretty much just to have a look ...

btw I forgot to mention that everything's stock on this car, no mods as of yet, not sure if that makes a difference.

Additionally, I'm quite surprised that it's the 4th gear that's copped the hammering, and not 2nd ...