Using OpenVPN is possible through the government proxy server via TCP port 1194 using either amcproxy.faa.gov:8080 or awpproxy.faa.gov:8080

I read that somewhere…