The brother-in-law of one of my co-workers died recently and left behind these old poker chips, several in each color. Any help regarding their origin and approximate value would be greatly appreciated. Thanks.