Yeah if it wasn’t for IAD they never would have extended Metro that far. This is also why all those fantasy metro maps that do things like extend the Orange Line to Annapolis or the Green Line to Laurel, etc are totally bonkers. It’s just not appropriate for the subway and should be handled by moderate frequency but much faster regional rail as you said.