Is the Mine Road line still active and used often? Also how is the morning line to L'Enfant from Mine Road? Our office is moving to that area shortly and just want to make sure these are still used or if it would be better to just go to catch a ride from Pentagon.