Yes, Mork's red jumpsuit was Colonel Green's from TOS...yanked from Paramount storage after nine years or so and altered a little so it wouldn't look exactly the same. Remember, by 1978 TOS was a huge cult hit in reruns and the first movie was already under production so more than a few TV viewers would have recognized the old Green outfit from "Savage Curtain"...and probably did.