Yep, you're right. I spotted one included in an Ebay lot of marbles last week and looked up what it was. Weird that this topic should come up so soon on here, and even weirder that only a few days before that, me and my son had been looking up what the most sides a dice can have is.
I didn't bother bidding, but I'd like to pick one up at some point.