According to the records, this chip was ordered in 1933 for a club in Seattle, possibly for a pan game. It's the only 12 1/2-cent chip I've ever seen for Washington. I have one extra if anyone is interested. steve