Disney paid $4.05B in 2012 for all of Lucasfilm, I don't think at any point in particular these files specifically were worth $6B.

I read that as sarcastic and very funny. Upvoted.