I think one of the early pan and scan versions squeezed the '81 crawl to be more legible on tv. I can't recall if it's a CBS/FOX release, or the alternate P&S version HBO and other cable outlets ran back in the day.
Could more resolution be squeezed out of that, even if it's from an old betamax tape? The 1983 Laserdisc may be squeezed too, but there's that pesky time compression they used on the transfer.