I would be surprised if there's a single $25,000 live chip in someone's pocket or drawer.
Seems that they would have strict inventory on these chips, and that they could account for every one of them already.
But the redemption notice may be required, even if none are floating around out there.