Update: The plaster warranty folks will drain the pool and fix the issue. They'll be done by the end of the week so I'll post updates of the finished work.
Also, since they will be draining the pool, what would be the best way to clean this white buildup. its primarily around the edges of...