Any quick suggestions for killing time near Dulles Airport?

[GraceinMD]

We'll have about 4-5 hrs to kill - with 4 energetic children in tow. Part of the time will be eating (of course!), but does anyone know of any indoor play places - or places where running around wdn't be frowned upon? :)

[cat in black]

You have to ride those dinky shuttles to the different terminals. It takes forever to check in and out with the airlines. It is my least favorite airport in the world. If I were you, I would stay at the airport. Pull up a map of all the terminals and see which ones have playplaces. Look up reviews on www.tripadvisor.com and see what other parents have found helpful in Dulles.

[Puma Mom]

I understand that there is an awesome air and space museum at the airport or right next to it. Admission is free, and it's open 10-5:30 pm. There must be some kind of easy transportation from the airport.