The restoration has already been done… by the hobbyists and fans.
Library of Congress was never given an original negative, it was the Special Edition right?
a bit late, but no. They only ever later received 35mm-prints to maintain copyright (which you can schedule to watch there) so in an ironic way, George didn’t want these films to be available, but he also didn’t want to stop owning them.