[jcranmer]

But more expensive than building the tunnel the right size to begin with, when you take into account the cost to build the too-small tunnel in the first place.