That’s a nice one! And of course, I don’t have one. That type of token is not readily available. Not even sure about the mintage of those as compared to Colorado 7s or Lucky Bucks.