is choctaw casino smoke free, best slots at desert diamond casino