Thanks for all the comments. We should ask Tesla to make FSD as licence to owner, not to the car. In both the above cases, the cars were totaled in just a few month and seems not fair have to pay another $7,000 for the replacement. Maybe a 1K or 2K transfer fee.