We moved into a home that has a 20 year old vinyl pool with a concrete slab encircling it. On one side of the pool the slab ends at a small hill, and there has been some erosion leaving a small gap underneath (about 10 feet long, 1-2 inches thick). I have heard of mudjacking or foam injection...