There was also a Riviera $100 with these two. I would agree that the two hotstamps were probably done separately as I would think the Junket Company would represent more than one casino. The most likely had the Ewing Company make the $100, then hotstamped each casino name as needed. They came from a casino executives estate so no doubt that they were redeemed and he ended up with one of each. Some other very rare 1960's and 1970's chips came with these so I felt the 1970's was appropriate. Plus he was out of the business and retired before 1980.