Before the shutdown, an average of 4 controllers retired a day.