you're looking at it. it's an open pit mine, meaning they just took the whole mountain side away. no mine shaft into tunnels.
there are tons of tunnels throughout the mountain, but in this one area they did an open pit mine. there are 7 "pits" in the backside of Red, this is the top right one.
