Perhaps this could be the one way Lucasfilm would be willing to release the Holiday Special? I could see that happening. Though it would wind up being a OUT/GOUT-style fight for some of us who want to see it also released in unaltered form.
Regarding its availability: it's not just out there as bootlegs, folks. Lucasfilm has had at least one master copy in their archives (though I'm not sure what kind of shape that's in at this point). And there are others involved in the production who have master copies as well... so it *could* be released to DVD officially if they wanted to do it. Perhaps now they will.
--SKot