Yes, air traffic controllers would have worked overtime, or many of them would have worked overtime. Overtime is used as a way to balance supply and demand with respect to our services, given that we're a 24-7 operation. We have used overtime to deal with staff shortages in some locations. However, even in locations where we're fully staffed, we will use overtime to balance that supply and demand.
On February 2nd, 2021. See this statement in context.