Originally Posted by
xenole
Flight will probably be mid to late morning so no rush hour to deal with and the flight costs are the same airport wise.
Not sure where you are from, but rush hour in DC can last until 10 AM. You are going against the flow, which should help a lot, but I'd still budget 30 minutes if it's before 10.