BART was intended to go there when they first started building it, iirc. Marin dropped out of BART, and then San Mateo county.<p>This is why there&#x27;s the double decker tunnels downtown - one was intended to branch off towards Marin.