800 Is a bit over but it's not crazy over:
4,000 pilots are each flying a min of 10 hours/month too many. That's 40,000 hours/month. 40,000 hours requires 470 pilot flying 85 hours/month.
I'd estimate that each of those 4,000 pilots are at least 7 days short of leave. Taking the company's lead of each leave day being worth 2.5 hours, that means 70,000 hours short/year. 70,000 hours requires 82 pilots flying 850 hours a year.
If you add on a few for training, sickness etc. I'd say we're at least 600 pilots short. That's 15%. Wonder how much of that saving was spent paying TCAS a bonus?