I called the lady Yesterday. She said some people came by and picked through the chips, but still had some left. 1200+. She sent me some pics. They were almost all common hot stamped generic or cheap California chips. Only about 5 chips with any real value of $10+
She was requesting $1200 for the remainder of them. I doubt you'd ever get 1/3 of your money back. So, I declined. I have no idea where they will end up. Hoping goodwill donation.