I'm a former smoker, and I found the cigarette smoke in the casino problematic too. It hasn't been *that* many years since cigarettes were banned from all (indoor) public spaces in Washington State, but it already feels like a forgotten era. We used to allow that?!