Yes, but.... Yellow 25c with HHR is attributed to Shodakai, some miles west and downhill from Robinson. Unless used at both casinos! Purple Mermaids is indeed attributed to Robinson. ChipGuide policy seems to be, no listings of generic chips so maybe that's why they haven't shown up there. Not sure about the other yellow 25c shown!