4000x20%=800
Are you saying undermanned by 800 pilots?
Umm, well with many pilots well over 900 hours and some as much as 1150, take 20% hours off that lot and what do you have, a sensible hour number.
Not to mention lack of leave availability and 110 block hours in a month being the new norm