Chances are they were also in use on the $2 BJ tables for a short time as well.... maybe even roulette. I can remember when Atlantis had .25¢ roulette. I'm just surprised that more .50¢chips had not survived.