Outside, a man is cutting a rock with a drill, making a lot of noise.