I'm very skeptical if a full tunnel would ever pass the cost-benefit analysis. Cut and cover would shut down the path for years. TBM would be less disruptive, but also require deeper stations. Arlington can grow, but can it grow so much as to justify a Red Line extension? Can Lexington, for that...