Just been browsing around here as usual and seen a thread about changing the oil in the F40 gearbox, as fitted to the 2.0T.

I've got a lowly 1.8 non-VVT (Z18XE) and have never touched the gearbox oil, but have often wondered about changing it.

Is it worth me doing while I've got a bit of spare cash? What's the procedure for doing it? Never changed gearbox oil before, what are the benefits?