In the Battle Between Marvel and Lucasfilm, Disney Investors Stand to Win