I haven't seen any news stories on this, but a co-worker who is stranded at the airport tells me the terminal has been evacuated.

Anyone heard anything on this?