sound mixer
re-recording mixer (as Bob Harmon)
dubbing mixer (as Buzz Knudson)
re-recording mixer (uncredited)