I thought it was more like 8000 working professional pilots, or maybe even 9000 at any one time?
Don't forget we are not just talking airlines here! Air Taxi, Choppers, Instructing, Air Ambulance, Freight etc!!!!
Keep your chins up guys, the corner is being turned now.
TS