I recently cruised on the Celebrity Summit in Oct. 2019. I noticed that the dress in the main dining room on formal nights had been much more relaxed than in the past (estimated 25% of men had no jackets and ties). Not complaining! There were no shorts, t-shirts, swim wear, or flip flops. This leads me to wonder about other ships under Royal Caribbean and if it is the same. We'll be on the Allure of the Seas in January 2020 and the suggested attire for formal nights is still a tuxedo or coat and tie. My question is: Has anyone had a recent cruise on the Allure? Can you tell me if formal n