Yes, absolutely.
Prepandemic, airports were contributing over $400 million in rent to the federal government and only a small portion is coming back to airports through the airports capital assistance program, which is funded at $38 million a year. There are other infrastructure programs that happen from time to time. Right now, there is the national trade corridors fund, and there have been different infrastructure stimulus funds that are fifty-fifty with airports and the government.
Overall, airports are contributing, in a good year, much more to the government than they're getting back through the system.