Here in Tampa Bay you can't smoke inside any restaurant or bar except for the Hard Rock Casino. I can't tell you how happy I am that changed 10 or so years ago. The casino here is very well ventilated and does have non smoking areas, but I don't gamble except on a cruise so I don't know how good the ventilation system works, outside my wife at times smells like cigarettes when she gets home from work, but only rarely, but I just may be used to it, who knows.