re: Anyone ever had a car stolen?

Yes. A few weeks later, it turned up with scratches from being driven through the desert a lot. Insurance totaled it due to scratches, but left title clear. I took it to a detailer and paid $250 to have it buffed and detailed inside. Came out perfect.

So, I got a $4750 and my car cleaned.