No one ______________ NO ONE uses the genuine oil. so why care? These cars arent special, they dont need some kind of magical approach to service and maintenance.
gearbox will need a rebuild anyway cos of thrashing, regardless of the 80,000 indicated on odometer.