is choctaw casino smoke free, casino near bothell wa