Thanks for explaining the 12 1/2 cent token. I bet it's in one of my books, but I sure didn't recall what they were used for.
Two beers, two bits... OK I might remember that now.