>>95898996
There's a chinese recaster on eBay that sells them for $14, and sometimes you get lucky and there's one of these actual minis for 60ish burger tokens. Steep, but it depends how important it is to you to have an authentic one.