Don't worry about it. In a world where Lucasfilm actually lost the original Death Star miniature, and it went through many hands to finally end up in someone's collection, almost anything seems plausible! Report