Personally, I have not.

I have seen several of the red $1 hotstamp chips in used condition, though.

Never the $5 chips.

Interesting point you bring up..maybe several racks were kept in the vault and never used?

Were the $5 chips ever on the table?

Were they also sold in the gift shop as souvenirs like some of the Sans Souci chips were reportedly sold?