Have a salt water plaster pool that appears to have a quarter size hole in it (at the bottom) with what looks like a liner behind it. Looking for thoughts and recommendations on fixing the hole such as products/brand to fix and any steps to take. Pool is not empty, has water in it.