I wonder if retirees fly based on hire date or based on years of service. So if a guy retired after 20 years, but another guy retired after doing 25 or 26 years but that guy that did 20 years hired on before the guy that did 25 or 26 years. Who would go first. Or if a guy getting flight benefits after only working 5 years because he was 55 when he hired on versus a guy that did 20 years of service but that guy that only worked for 5 years hired on before that guy.