I never noticed anybody with machine guns when I flew through there, but I only transferred and my flight didn't get in until 10 pm. The security people there only had sidearms when I was having my bags scanned. The place was practically empty as I waited for my outgoing flight to Taiwan.