I have the Chipco set through the $500.
The guy that gave them to me in 1998 had a great many boxes of them.
Glad to hear that they were actually in use.