sound mixer (as Robert Allen) / sound recordist (as Robert Allen)
dialogue editor
dubbing editor
dubbing mixer
boom operator (uncredited)