The IMDB.com color credit gives that credit.. From the credits at the end, actual color/prints credits.. "Color by Technicolor, Prints by DeLuxe":-)|