Have you seen a $2.50 snapper, or know that it exists?

I've gotten the $1 and $5 (sold here on the ChipBoard), and the $25 is currently on eBay.
But I hadn't heard that they produced a snapper? It seems most new places don't bother with a snapper anymore, just using half-dollar coins instead, if needed.

I hope you're right, because I collect them. Just wondering.