How many folks were fired from FAA in OKC today?