We just had a new pool built and Pebblesheen installed - we were getting hurt in the pool so after a long process, ended up draining it and found numerous (20-30ish) pits up to 5mm (0.2") deep. There are also large rough patches (~4"x2" on average) of stones that are overetched and completely exposed - they're very rough and have been scratching up our kids too. There is streaking and waviness in the walls as well (pictures). The installer has assured us that they are fully confident that these are not at all serious issues, and said they are going to come in next week to fix them by patching and sanding. Is this something that could reasonably fix these issues long-term? Would a pool that's patched like this last as long as a brand new pool that didn't have any issues?