 And so since it's a federal antitrust case, according to what I read yesterday, $4.7 million has tripled. So the sum, at this point, the NFL has to pay to people who bought this package $14 billion. No, the way I read it was that it could be tripled. So it could be any number between 4 and 14 from the sounds of it. But I wouldn't doubt that it gets pushed all the way up.