I had a friend ask me how many different Halloween chips have been issued throught the years from the various casinos. Does anyone have a list or a number of chips released? I assume the he would be interested in just $5 denominations, but knowledge of the number of the higher denom. chips would be helpful. Thanks ahead of time!