You can eat in the buffet if you like. The "formal nights" are a mixed bag. I have seen folks in jeans and sweatshirts in the dining rooms. Not just on formal nights, but every night. I was sure that they would not let them in, but they did not even blink an eye.