03 Installing and filling the pipes August 8, 2024 Once the holes are made, we install pipes and fill them with sand or grout.