楼上的邻居装地漏，把我家卫生间天花板打了个直径20公分的大洞，邻居还有给他装修的工人下来看，听他们的意思好像是想用水泥砂浆加强固之类的东西给我把洞填上。今天我在网上一查才知道混凝土跟水泥砂浆不是同一个程度的。我是不是应该让他找专业的防水公司，进行高压注浆对漏洞进行修补呢？