Comment by petschge

For scale: The LHC has more than 11km diameter and the deepest mine we have built is 4km. Adding vertical distance is much harder than making the diameter of the circular tunnel larger.