So if DC is a "destination city" for Labor Day, why did Metro choose a holiday weekend to close several subway stations in the 'burbs, for whatever reason?