I believe I am correct in saying you can smoke in the casinos. You cannot smoke in restaurants. You can smoke in bars. If there is a bar in a restaurant, you can smoke at the bar but again, not the restaurant.
I hope I have answered your question. Cheers...Becky Zisk