About 10 years ago, I had a rental car stolen from the parking lot at the Costa Linda. The car was locked, and it was a piece of junk, but it was stolen anyway. Thankfully, I used a credit card that covered the entire cost of the stolen vehicle.