My car has a slight synchro grind going from 2nd to 3rd gear when flat out (9000rpm). It's shifting fine, just hear/feel it grinding. I'm going to sell the car on soon and don't want to get involved in a gearbox re-build before hand.

Anyone got an suggestions for any oils or additives that may quieten it down for the time being?