I'm looking at buying a used Tesla model S75D (2017), registered in October 2017. The owner claims that the car came with a performance enhancement. I understand that after a certain point in 2017 all model S's came with a performance enhancement. When I called Tesla with the VIN number, they...