Drilling Holes in Rocks