How much money did George Lucas get for selling Lucasfilm to Disney?
$4 billion