The genuine oil is super thin, designed to improve cold shifts, and it is the best stuff for that without question. However, it's not that cold the UK and with an older box with loads of miles on it, you can get away with aftermarket stuff. Redline gear oils work really well but they're not cheap either!