 And the courts agreed with him. So he did get paid. Hold on. But if we do the math, he actually did get paid money that he didn't pay out until the attorneys, right? Do we know how much? Derek, how much total did you collect from insurance, Derek? Wallet.