Yes in fact they are both Minichamps with original green/brown sticker on the bar code on the box...
what is the latest price seen on Ebay?
I have found one last week on sale for 1500 US dollars, but, it was signed.
Let me know if you know.....thank you and regards.
jose.