In the buzz of the drill, a man with a yellow drill drilled a hole in the stump.