Dies used for striking gaming tokens are certainly not common, but they are available from time to time. I have a dollar token die in my collection. Very unlikely you will find one for a redeemable token, but sometimes the die is returned to the casino when no more tokens are to be struck.