Last year we were on Orient Beach in November and the newly built restaurants by Pedro's were still not completed. We'll be there in a few weeks and just wondered what to expect. I've heard Cheryl didn't reopen and that was always one of our favorites. How many are operating and which ones are the best?