 But what I think is really interesting is if the NFL does have to end up paying damages, it's going to cost the teams. So it's not necessarily the NFL that's really going to be biting the bullet with this one. It could cost each team approximately $449.6 million is the number I'm seeing right now. Right, right. For every team. So this could definitely affect...