DENVER -- At least one tornado touched down near Denver International Airport Tuesday afternoon, sending passengers scurrying for cover, but not causing any damage, airport officials said.
The National Weather Service issued the tornado warning around 2:05 for a storm that passed right over the airport.
LINK: Live interactive radar
Passengers were ushered into shelters in restrooms secure corridors in the Terminal and concourse buildings.
Around 2:50 p.m. airport officials gave the "all clear."
Many posted photos of the small tornado on Twitter. The NWS has not classified the tornado just yet, but it appeared small.
No damage nor injuries were reported.
Heath Montgomery, a spokesman for DIA, said a tornado was spotted on the ground near the eastern side of the airport.
Nine flights were diverted to other airports as the storm passed, he said.
Frontier said passengers on board their planes were taken off and sent to shelters in the Terminal.
Quarter-size hail was reported in areas east of the airport.
Traffic was held along Pena Boulevard at 40th Avenue for a time while the storm passed, but has since reopened.