 Well, there's 12 seasons in all that are tied up, and I assume that if this money, and it's all pending on appeal, the NFL is going to fight this tooth and nail all the way to the U.S. Supreme Court. It'll take multiple more years, Dan, before it gets resolved. But if at the end of the day, that $14 billion judgment, we've heard the number 4.7, but the moment the verdict becomes a judgment, an official judgment, it automatically gets tripled under the antitrust laws to $14 billion. And I kind of did the rough math.