Some are backup, some are regular...
Still have to know if they are "original" or some kind of reproduction.
If they are original the regular can be redeemed, i think.
Well this will be like a gamble... Who wanna buy $1.000 in chips for $300 and go to Atlantic City to redeem them? What will happens if they are fakes? do you risk something, like handling counterfeit money if you try to redeem?

I'm trying to compile a list of how many denominations are coming out, will give you the sum later.