In 2019 we traded in our low mileage 2014 Model S 60 and bought a new Model 3 Long Range - Dual Motor. Is it possible that after trading it in with Tesla, they could have performed an electronic upgrade on the M60 to make it a M85 using their over-the-air update wizardry? It seems to me such an upgrade would make the car more valuable for resale as a M85 rather than a M60? Just curious.