There were HNO Sands chips before the dig discovery. I have a $5 that I acquired YEARS before the dig. The chips were listed in the guide books before the dig also.

I don't know about the pre-dig chips in larger denominations ($25 and up) but I assume there were a few of them around too.