I'm totally serious. This was 25 years ago, and the payout was $333,333 per year for 30 years. I don't know for sure, but I think they got a final payout settlement about 6 or 7 years ago after the company went bankrupt. So not actually $10 million in the end, but still a lot of money for about 15 years.