As a smoker I believe that they should have kept the Churchill’s and made the casino nonsmoking. Then, no one would complain because they have no need to enter Churchill’s. On my last cruise, we had a few wander in. I really think one came in just to complain about the smoke- no lie!