In the noise, a repairman was repairing the pipe with an electric drill.