A man drills a hole into a lava stone in 15 seconds.