If chips are sold they would be at face value since they are still allowing redemption of chips until September 17th. Old non-redeemable chips is another story.