Sorry for the confusion... When I referred to a red chip, it was in reference to the chips they use now (according to the person I spoke to). I don't know if they are Chipco or not. I asked if they had pictures of desert scenes on them and they said no. So it seems there are 2 different types of chips that were made.

An earlier post indicated the chips with the graphics were made in either 1995 or 1996. So the chips they use today must have either different or additional colors.

Since they didn't know about the older chips, I wasn't able to find out if they were used for drink tokens or just an advertisment.