So they dug, they cleaned the wall, they repaired dents, dings, cracks, and holes with hydraulic cement, they painted it all with black waterproofing stuff.