I got a list of cars for auction from Mike's Auto Shack in Las Vegas. I didn't see the list in time, but I am curious what it sold for at the auction.
Based on the VIN number, I think I found the car online and am pretty sure it went to the Las Vegas Manheim auction. But I wasn't able to see auction results on either site - at least I didn't find them.