Is Ars magica in the Novus Bevo pack? They could have used a dig spell from there, a mining focus from thaumcraft, and that’s just a few.