By mid-November, we're eight meters below road level. Future underground spaces already have their very rough outlines. There's not much left to mine.