I have two of the Red Mushroom highlighters, from the Kinder Joy Super Mario collection, they are doubles from my own collection.
eBay