Hi all, I am going to Vegas in November and staying at ARIA. Wondering what their buffet is like? I see it says they have crab legs, but not sure what those would be like in a buffet setting. Thoughts? Or what have your experiences been like if you have been there?