DCA opens at 9 that day, I was hoping to make it to opening, but there's no way we could get out the door by 6. Plus that would make for an incredibly looooong morning, as hotel check in isn't until 3. So, would there be much difference in traffic if we left around 730 or 8?