The end credits are indeed from film elements. The laserdisc also had the "re-done" video credits, so this is a welcomed change. I don't know why Paramount used the video credits in the first place. Maybe there was a typo or a credit that needed to be added/removed from the orginal crawl, so the...