In fact, 2 of these were sold as real chips.
If my memory serves me right, one sold for over $700 and one for over $1,000.
They are not real chips.