Thanks for the information. I was considering the Rotterdam January 25, 2023 cruise and was worried that it would be more crowded on the ship or maybe have special events. Also, I remember in the past they put extra slot machines in the Ocean Bar. Not sure if they would again. Would it be better to pick another date?