 And then you have the NFL that can actually pay for it. So you have this perfect storm of people aggrieved, ability to pay, and someone who caught it. So they were able to bring it together and push it forward. Okay, so we know the NFL is rich beyond words. We know there's billions of dollars there. But if this thing could end up going up to the $14 billion mark, how much of a dent does that actually put into the NFL?