The above reply is correct.

I'd just add that I think you'll feel most comfortable if you dress smartly and wear a tie as well. Based on my 2 visits late last year, the overwhelming majority of men inside the hotel wear jacket, shirt and tie. That said, I have gone in and out of the hotel wearing jeans.