 I'm not sure. I hope it's a little bit more than that, considering the amount that could apparently get up to $12 billion for them to pay out. I don't know if there's anybody outside of the consumer, but the consumer is a big enough victim for me. My issue is with the NFL.