They must have had their car shipped here when they moved. Maybe cheaper than selling and buying another in the process.
That’s what I figured. I looked it up, costs between $1K - $2K or so to ship. Not as much as I would have thought.