So, Formula, going to small claims court for your $10k?
EDIT: I wonder if there's going to be a rush on certain years of these cars now... you might be able to sell it to an "enterprising" small claims court type of person for, say $5k more than it's normal value.