Thank you! By the way, for anyone still interested a month or so from now, check out NASA's Aviation Safety Reporting System site [1]. This is a place where p

Thank you! By the way, for anyone still interested a month or so from now, check out NASA's Aviation Safety Reporting System site [1]. This is a place where pilots, air traffic controllers, and other aviation personnel can go to anonymously report things that they were involved in. Reports are confidential [2] (they're anonymized before publication), and reports may not be used for enforcement purposes [3]. I expect that the pilots and controllers involved will have already submitted ASRS reports of the incident, and they'll eventually pop up on the site. [1]: https://asrs.arc.nasa.gov/index.html https://asrs.arc.nasa.gov/index.html [2]: https://asrs.arc.nasa.gov/overview/confidentiality.html https://asrs.arc.nasa.gov/overview/confidentiality.html [3]: https://asrs.arc.nasa.gov/overview/immunity.html https://asrs.arc.nasa.gov/overview/immunity.html