The Barbie-mania has died down a bit following the release of the eponymous movie, which turned out to be the biggest box-office draw of the year 2023. But that's not to say it has gone away for good ...