5.1
Cutting and drilling
Laser and mechanical cutting systems, rotary drills and roof bolters. The ML-7 ore-cutting laser, introduced in March 2026, cuts hard rock with about a third of the energy of a mechanical cutter, 67 percent less, and no blasting.