FYI - we were there last week and its definitely slow going with only a few workers each day and not much urgency. Work seemed to be in the pool itself and looked like they were replacing tiles along the edge of the pool. Didn't seem like much else was happening, everything else looked like it had before it was closed off.