No, they’re not redeemable, but they are most definitely worth a minimum of their actual face value to collectors, given they were all destroyed in the late 2000s (excluding those from people who held onto them). I’m pretty sure the new set had nothing to do with the robbery, that was just the 25k chips that got replaced by secondaries, which happened after the new chip set was instated. Here’s everything in the set up to 1k:
View attachment 621698