Actually, rescuers did use a rock hammer drill to place anchors to attach pulleys to, so he could be extracted, unfortunately, the drill bit broke and they had to return to the surface to get another one.
Then (tragically) after they set the last anchor, one of them broke out from the passage wall, and that's when he slipped back down further than before, it was so damn SAD!
Then (tragically) after they set the last anchor, one of them broke out from the passage wall, and that's when he slipped back down further than before, it was so damn SAD!