So it's back & running fine. Had the VW for nearly 5 years and neither VW or the local mechanic ever suggested a DSG gearbox service. Talking to the crew that just rebuilt it, they suggest every 40K miles, during which they can also remove the spline to check the rubber O ring's health (which caused this recent failure)