Probably overthinking… we’re going to have a short window to transfer from hotel to T5 and it’s early morning, and with DC with additional needs - so I need the plan nailed military-style. Seems like these buses only run hourly. There’s one timed well for when we’d need it, but our hotel is one of the ones closest to the terminal. Does it ever happen that the bus is full by that point? Am I better off just scheduling an Uber?