As Columbus Day–Monday, 10/14–is a federal holiday, there will be no Metro shuttle service that day. Service will resume on Tuesday, 10/15.