That is an amazing story and amazing chips. I thought both pictures were Happy Days, which is where I used to play. If you are ever interested in selling those...I was able to meet the casino owners and buy everything. 13.5k chips total which are contained in my collection and @MegaTon44 collection. Pictured are about 11k chips.
Read about it here:
https://www.pokerchipforum.com/threads/the-river-casino-a-pcf-adventure.26125/