Repairs on the pool will begin early next week and we should be back open within few weeks.
This is best estimate based on what they need to do, starting with chipping out 2 or 3 layers of plaster over the entire area of the pool to get to the base layer, and then apply a new layer of plaster over that. It will take days for the new layer to properly cure before we can open the pool for swimmers.
We will keep you updated as things progress.