My limited experience with this kind of thing tells me that the State of Texas wouldn’t have swapped a VIN with another car. That would’ve been something the shop would’ve done themselves, which, AFAIK, is illegal. The owner could theoretically have gotten Texas to issue an assigned VIN for the car, but obviously that…