Has anyone ever done this or had their dealer or shop service the gearbox? Its supposed to be done every 3 years but with the small number of auto...