I mean, 85k ain't that much different from a "middle. Luxury" car these days. You can definitely customize a Tesla and come out over 85k easily. Cyber trucks *stsrt" at 80k.

Im sure that person could have paid out of pocket. But I doubt he did.