Looking at replacing my 3rd gear synchro and am looking at tool options. I'll just buy the T40054 selector shaft detent remover from VW but the two 12pt nuts I might be able to buy generic. Does someone know what size they are (mm across the flats)?