There are other 12 1/2 chips. Sans Souci had one, IMO it was used in a pan game also.
There was another one on the BB earlier this week from LV. Jimbo says it was used on 25¢ BJ. He is old enough to know.
() 
--- 12½¢ chip ---