Don sold them at $425 a set on ebay buy it now.
However there were many sales of singles in the following year or so, including perpetual listings (not all sold, I don't have a record) from Jim Rauzy, who continued offering them at shows thereafter (some as low as $40 a chip, or even less if you caught him on a good day).
Makes me think there were more found.