Thank you! I checked out the Laserdisc Database and saw that what I was looking for was The Making of Star Wars & SPFX Empire Strikes Back catalogue number1112-80, released in 1982. 1052-80 would also work, released in 1981. I found it on eBay and was the winning bid at $35 but then someone swooped in and won it for $66. I'll have to keep my eyes peeled but all I really want to do is get it and put it on DVD.
Have you guys ever used iOffer? I can't really believe that website exists (affiliated with eBay, people sell what amounts to pirated copies of videos.) Anyway, the DVD for sale there from a laserdisc source has Japanese subtitles. Another copy is from VHS. I'm not sure if I can figure out why the bootleggers can't get the source from the USA laserdisc...
What are the odds this special (these specials) will end up on the impending Blu-ray set?