I recently purchased these 2 chips on eBay -- described as Junket chips, but otherwise not identified with any specific casino.

The red chip looked familiar. See this Curacao Hilton chip, as shown on the MOGH / Chip Guide:

Produced on the H.C.Edwards (HCE) mold. The Curacao Hilton version was hot stamped at some point. Ordered that way, I assume? From the 1970's era + / -.

Do you think the non-hot stamped version was an "error" meant for the Curacao Hilton? Or perhaps it was available to any casino that wanted such as chip, with custom hot stamping available to anyone? Maybe a sample from HCE stock?

(The green $25 unstamped chip does not have a Curacao Hilton stamped version.)

Just musing about the possibilities. Regardless, I like them.