They are cash value jetons. Same as cash value chips. No redemption notice has been issued that I know of. They are very expensive to buy when compared to chips.
Bob, If it ever happens again,