Make absolutely sure its gearbox oil and not engine oil first. Get them to test it if necessary to be sure. Get them to check the turbo oil return pipe, or if it's been updated (used to be two, but changed to a shorter one and blanked off the second point of return lower down on the block I...