Could a smoking ban be coming for Rivers Casino? Is it the healthier option?