I know this has been raised before but since we've had a few new faces to this forum (old ones please also contribute), what sort of gearbox oil would you use on a 85k kms gearbox?? Redline light or heavy? Motul sythetic? There's been a few issues with the redline stuff i've read..