Hi, it was done by a local garage. It was a general oil change, as was indicated to do by the computer. I don't think they would have changed the gearbox oil. Their boss drives various RR's over the years. I doubt they have no knowledge.
The garage that it is now at, is one that was recommended...