Today is Sunday, July 6, at least a week ago since the Royal Palm Pool was not usable. Is it open and being used as of today? I have friends coming there in one week on July 14, and are greatly concerned that the pool isn't open yet. Can you tell me the situation today, July 6? If not open now, is the management giving a realistic opening date to the people staying at the R.P? Thanks.