Which restaurant at BEYC is too formal? Are there choices?