This article doesn't make clear if the sticker on the first sale listed this feature. I think this could be relevant if Tesla were dealing with Buyer 1, but totally irrelevant with regard to Buyer 2 (who would have never seen the sticker from the first sale).