In the meantime, if you haven’t done so already, you can check out the 35mm HD restorations floating around, like “Star Wars: Silver Screen Edition”, “The Empire Strikes Back: Renegade Grindhouse Edition” and “Return of the Jedi: 35mm Grindhouse”. 😃
already downloaded those, and the despecialized versions, enjoying them quite a lot. its just hard to find downloads/torrents that work for the P.G. 16mm restoration.