They do. It was released as an extra with the silver screen edition. However it is in much too rough shape for me to use in this instance.
Doesn’t matter either way because I think I’ve got the whole thing figured out now. I expect the crawl/pandown/flyover to be done in the next couple days. I’m about 90% there piecing together the star field from bits and pieces in Empire.
Don’t ever go looking for patterns in the stars with these movies. You can never unsee the reusing of the same starfield over and over just cropped slightly differently.