For those who have been there in the recent weeks or so, has the buffet resumed any type of normal operations? When we were there in October the buffet was operating as an a la carte, and all the food stations were closed down. Have they reopened it as a buffet?
Also, has the brazillian grill and the mini bar in front of building 3 opened back up? Are they using other buildings now? I guess my questions are more, are they back to normal operations?