Casino needn’t be smoke-free