Yes. The initial FAA report in 2000 did list the names of both pilots. For some reason, I don't see the more modern reports showing those names, however. Perhaps I'm just overlooking them.
Was the dead pilot's name ever made public?
Yes. The initial FAA report in 2000 did list the names of both pilots. For some reason, I don't see the more modern reports showing those names, however. Perhaps I'm just overlooking them.