Outside, there was a man, drilling rocks with an electric drill, making a buzz.