Does anyone know whether Dotty's Casino had a penny press? Someone on my pressed pennies group found a penny with the Dotty's signature logo but it doesn't have "Las Vegas" or even "Casino" on it, so we're seeking identification