I understand there is a chip holder (80 pocket) available. If someone can furnish me the name of the company which sells them I would be very appreciative.