It's also worth remembering that aside from the mining, there are several fragments of quite significant natural cave in Odin, which by definition, are in solid rock. These have never been properly documented - ironically the trip we discovered the floor collapse on, in Feb 2011, was meant to be...