As of today, the pool at Royal Palm is closed for repairs. Estimated reopening is for Sunday. I’m betting it’ll probably be Monday or later. We were not given the actual repair problem. I’m assuming that one or more pumps have failed. They have made arrangements to shuttle guests over to use the Flamingo pool.