"A total of five 23-centimetre-diameter (9 in) boreholes were drilled, two branching from a central shaft and two from one of those branches. " I’d heard of these before, and somehow was thinking they were a bit larger in diameter. Also WTF, your neighbor starts digging a potential volcano right next to your border?!?