Diamond Core Drilling Market Size - By Operational Type (Hand Type Drilling, Rig-Operated Drilling), By Drilling Technique Type (Stitch Drilling, Underwater Diamond Drilling, Surface Drilling, Underground Drilling) By End User Industry & Forecast, 2024 - 2032