I have had these for 10-15 years and just ran across them again. Made for Eddie's Fabulous Fifties (now part of Harrahs). Original wrapper; I opened carefully to look at them. Size is 5/8".

Yours for $17 delivered.