Interesting. Did they specify exactly what each of the copies were? Because when I went to their film storage facility years ago, they only had one copyright deposit print of each film.
I don’t remember and I can’t find the email. Maybe they had two copies of Empire and Jedi and only one Star Wars. Either way they told me that they had at least one original copy of each and two copies of two of them.