I am the happy owner of a 2013 Model S85 ex-salvage vehicle. Since Tesla is hinky about doing maintenance on my car I plan to do much of it myself. Currently I want to change the gearbox oil. The service manual (or at least the one I have) says that two different oils were used, Mobil SH 629 and Dexron 6 and that the 629 was used in the early front drive units only. Does anyone know for sure if the early rear drive units (large motor) used Dexron?