Hey Harmy,
first of all, congratulations on the wedding and all the best for both of you!

I just wanted to add that in addition to the May 70mm premiere print of The Empire Strikes Back, there is also a 70mm print from the June general release. I had the opportunity to watch this one — the quality is really good, with finer detail than 4K80, and detail and grain similar to 4K83.

Hence my question: Could the 70mm print possibly also serve as an additional source for shots that are not quite optimal in 4K80? Sure, 70mm is cropped compared to 35mm, but perhaps the cropped areas could be supplemented with 4K80 material where necessary? Just an idea.