Does anyone know how many $25 Anniversary Chips were produced by the Desert Inn? I was lucky enough to snag one today at the cage - in surprisingly very good condition. They were totally out of the $5s and the employee told me that someone had just cashed one $25 chip in.