补过一次，过程和楼主说的一样。不过补了之后时间长了裂缝还是稍微会扩大，价格也高补一个小洞要100

感谢楼主的好方法，自己马上去实践一下下，看年效果。

这个办法不错，受教了，希望楼主多多发表这样有用的文章。