We just bought a home and our neighbors said the last owners filled in our hot tub that spilled down the boulders into our pool. The outline is still there. We are wanting to dig it out. Has anyone ever attempted this. The reason for filling it in is because they wanted more patio space. Thank you