is choctaw casino smoke free, https://www.centresportifsadp.com/baby-slot-machine/