Has the 60k major service been performed? If not be mindful of a $2500 major including dsg service from a Vw dealer