We bought a home that has an inground pool, it was drained and had gone through winter uncovered, has large gashes in the liner, and possible damage to mortar underneath, does anyone know a ball park figure of how much this will cost to repair?