I’m in Europe. 3 drills of 75m was quoted to us at 16k€, enough for a 10kW heat pump.