Disney has registered George Lucas’ $2 billion in Mouse House stock for possible sale, according to documents filed with the SEC on Wednesday.Sources close to the situation said the hyphenate had no imminent intention of selling his Disney shares and described the filing as a formality. The filing registered Lucas’ 37,076,679 shares of Disney stock at $53.775 per share, according to the doc. Lucas obtained the shares as part of Disney’s $4.05 billion acquisition of Lucasfilm in October. That deal left Lucas with 2% of the company and made him Disney’s second-largest single shareholder behind the Steve Jobs estate. Since then, the Mouse House’s stock has risen nearly 11%, which came with the announcement of a new “Star Wars” pic set for 2015. But in addition to that franchise — which has grossed more than $4 billion worldwide — Disney also gained control of the “Indiana Jones” franchise and other films in development at Lucasfilm. Disney also acquired vfx shop Industrial Light & Magic, audio post house Skywalker Sound and videogame developer LucasArts.