I think we may have been in that casino. Visiting relatives in Dallas (yikes, at least ten years ago), I said that I wanted to grab Oklahoma, so we set off. The casino was the first place over the border that we could safely park the car. We went in. It was unpleasant. I asked where there was a non-smoking space. The person said "the bingo room," which turned out to be the size of a gymnasium, at least, and in fact smoke-free. But we didn't want to play bingo, and there was no place even to get a snack that wasn't smoky, so we checked off one more state, and went back.
OK casino