don't seem real useful for professional casino play. CH is denominated 25¢ but RCR has the same hot stamp on either side. Perhaps used as drop chips somewhere? Or as you suggest, home play. Well, someone is playin' at home (in the rain) without their green chips tonight.