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!

Source: WMATA website – link no longer active