We might not want to build a tunnel for the Green Line … but at some point, we're going to need a tunnel under Stephen Avenue