$5 chip in the past, the $25 and $100 are completely new to me and I would have assumed they were also hot-stamped chips!

Thanks for the informative post.