Update: the Washington DC Metro Veterans Day Map now includes the Rosslyn–Pentagon shuttle bus service (shown as a dotted blue line with relevant call-out box). It’s like they’re reading my mind! S…