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