I was rewatching this excellent 1980 BBC documentary on the music of the Empire Strikes Back:   It contains considerable footage from both the recording sessions and the spotting sessions of Empire. I was curious if anyone here knows anything about where this footage came from. Did the BBC just film bits of it specifically for the documentary? Or did they film large chunks of it for editing down later and for Lucasfilm to use for general purpose marketing use? I wonder how mu