If it isn't, then I would hope Tesla makes it right somehow (providing HW4 for free or something similar) or they'll open themselves up to be liable for false advertising.