I went to Choctaw Casino to redeem and play my $25 free play from a Dallas Stars ticket stub. The Player's Club representative was super nice and helpful, and gave me an extra $10 free play as a new member. The casino is very nice, more so than other local casinos. There is also a cinema and bowling alley, as well as plenty of well laid out restaurants. There is entertainment for all ages. Highly recommended.