I noticed in the cost breakdown when configuring a new Model S that Ludicrous shows up as a mandatory $4000 option for performance variants. Does this mean that existing Model S or X owners might get a $4000 discount via the “free Ludicrous upgrade for existing Model S and X owners” promotion...