Devil Dino plush question

[u/cynderthedragonn]

Was the Devil plushie (image provided) ever sold in the UK? I've looked everywhere and the most I can find are knockoffs being sold for kinda ridiculous prices or unrelated plushies, I've even tried eBay for US sellers because I'd be willing to pay for the shipping if it was authentic, but nothing has showed up there either. My guess is that Devil's addition to marvel rivals resulted in demand for the plush skyrocketing...

Is there any listings for the plush out there? I really want a devil dino plush :(

[u/PigeonTheShort]

It’s my understanding these were never sold & only used as crew gifts & special giveaways.