Used car market is nuts. I got my 2012 G37 sedan appraised through CarMax back in January for $7k. Didn’t end up buying then, so I held on to it. Got it appraised through CarMax again last week (albeit a different location) for $9.5k. Was a pleasant surprise and a nice increase on my down payment for a TourX.