高层剪力墙有长30cm宽20com左右的洞怎么办?建筑商说是灌浆没到底。再用高标号的水泥堵上可以吗？另外墙面的水泥好多裂缝，他们说是拆掉板后才磨的水泥，那个水泥与原来的脱体。问题比较复杂，希望能给详细解释一下。谢谢了。