 1A or level 2 by enrollment team with their enrollment. Central, I think, would be a level 1, but they have the option to opt down due to success points and that type of thing. Does it work for Grand Forks, do you think, the current football? I think it does, but it's worth having you here because those conversations come up once in a while. You're not playing at the top level, but football's a different game. So while I have you here, I thought I'd ask you about that a little.