It is closer to $15k from Tesla :lol
But my comment was about third party options with lower range. $6-10k depending on the range selected, IIRC. For a car with high mileage already, that'd be a good way to turn it into a commuter.
In practice, I'm not seeing a significant difference between the way the 3 is being treated and the way similarly sized vehicles are treated.