Just curious, how many military pilots join the regionals? I assume most if not all go straight to mainline, seeing as they have military jet time and experience.