@ajlanes Yes, I’d heard later that it was the fire suppression system. Still, a tunnel that floods, under a river — not great, is it? (Although they resumed services this morning, the affected tunnel was still closed, so still a bit more serious than a dripping pipe)