They have also hired 400 cadets in the same period.
Admittedly some of those left will have been Capts, but they have upgraded a few FO's also. Plus there were quite a few Capts on part time who can be called upon again for full time in the summer. I would not bank on them struggling this summer as much as some of us are expecting