I’d bet they were not his personal chips. There were thousands of chips. I probably have 800 or so myself