I don't think I've seen a Hoffman and Hoffman mintmark on a casino token before, Gary. Did they make many different?

Did Howdy Herz have anything to do with them ?