I just found out today that a friend I fly with (Southwest Pilot) has PTSD (diagnosed by the VA) and claims 80% DV. He told me that he keeps both his doctors separate and the AME doesn't have a clue about his PTSD and if they did his Class 1 medical would go away. This concerns me greatly as I wouldn't want to fly on a commercial airliner knowing one of the guys up front has such a diagnosis (yes, even if it were one of my family). What are my options to report this? Should I call Southwest, FAA or someone else?