I find the denominations very interesting, Garin. Out of currencies that begin with a C, I would say Colones are most likely since Costa Rica has casinos that deal in both colones and USD. Just an educated guess though.