In October of 2012, Disney formally announced its acquisition of Lucasfilm from George Lucas for a sum of US$4.05 billion. This set off…