Does anyone know how many casinos are currently open in Cripple Creek, CO? I thank anyone in advance for a reply.