If either car had FSD, it might be included, but unlikely. Normally when a car goes through Tesla (i.e. trade-in, etc.) they strip FSD from the car, and it allows them to sell it for a bit less. Once you have the Tesla app, you can see if buying FSD is an option. At least now it's quite a bit...