આ ખાણને દુનિયાનો બીજા નંબરનો સૌથી મોટો માનવનિર્મિત હોલ પણ કહેવામાં આવે છે.