[Rough Rock 015] concrete hole