We have having out vinyl pool liner replaced. At the same time, we are having parts of the slab around the pool removed and re-poured since there were some areas that were slowly sinking and mud-jacking only fixed the problem temporarily. So, right now we're already looking at an almost $7,000...