The casino paid $9. Player paid $14 to win,. If player redeems at $10, does casino do better selling at $10 or returning at $9? If casino loses $1 by returning, it still made $4 from the player. However, which is better, making $4 or $5? If casino picks $4, maybe it can't pay Mike Bibby or Peja Stojakovic what they are worth for very long.