Do you know if they're real chips that can be redeemed at the cage after you buy them? Assume they're not but rather souvenirs that they won't cash in, otherwise people would turn in the 25s to get the more popular 1s and 5s?