I seem to have missed walking into the El Cortez my last few trips to Downtown Las Vegas. Do they still have 25-cent and 50-cent chips in use? Same as photo or different? Thanks, AL