I don't know if anyone uses 12.5 cent chips these days, But I have such a chip from a place called Ernie and Harolds. My guess it's from the 1940's or 50's. It would be great for a 25 cent game. Has anyone heard of this place?