Whatever the number is it wont be out until the end of the month or so when they show the retirements for OCT. It is likely less than expected because it was pushed through so quickly. Makes you wonder if that was mgmts plan in an attempt to retain pilots in an attempt to delay the eventual training bubble that is coming. We'll see