Sure. Actually, as part of the pandemic support, our payments to the federal government were essentially waived last year. We'll resume payment this year.
For our airport, it's not a sizable amount. I think it's about $55,000 to $60,000 a year based on a graduated revenue formula. When you get into major hubs, the rent figures are sizable for that. We have been asked to operate under a user-pay system. That's what airports have done. They try to collect enough money from passengers and users to fund capital, and there's no getting around it. It does add cost to the system. There's a bigger thing at play with who should be operating airports. I think the current model has a lot of positives in terms of service, capital and infrastructure. There's a bit of a legacy over 20 years. I think it's fair to beg the question of who should be operating them, because it does add to the cost, for sure.