While “The Lion King” was in theaters, there was GoodTimes’ “Leo the Lion: King of the Jungle” on retail shelves, packaged (for maximum mix-uppability) in Disney’s signature white ...