I seem to remember that a box of those chips were found. They were being sold at $300 apiece.
Again, I may be wrong.