[Sounds of drilling and hammering]