As it's been a few years since the last post on this, I was wondering what everyones using for their gearbox oils? Been finding the cold shifts are fairly brutal lately so thought good time to change especially as I doubt it's been done before on my car.