A somewhat large quantity of ElCondor chips appears to be (or have been) in the possession of one collector/dealer. I am not sure of who it was, but they were being released slowly to collectors so as to keep the values up. Rather familiar story. That person, if he comes forward, would best know if there were two colors of the 25¢ chips. Twenty-five, being an old and outdated bet amount, would seem to me to have been issued in only one color, as it would not be worth the card room's money to release it in two colors. (More likely for a casino to re-issue $1, $5 and up chips in a new color if for some reason an original color was confusing or repetitious for another value in circulation. That happened with the $25 chips at Casino 99 in Chico, CA, for example.)