Just learned that DC Circulator buses do NOT necessarily run every 10 minutes. (caught that 1 minute though)