I don't have any information on where these originated, but I have the $1, $5 and $25 available. I'd trade any one of them for one of the $.25 chips.