I don't think we will ever see that chip being offered for between $200 and $500, any time soon and, I think hammer would be higher than $4000 if it is the only example known, considering provenance (where and by whom it was offered last and its description).