The adjustments I made to my 1080p copy were done in Premiere. Increased saturation (no other color timing adjustments done) and some brightness/contrast/gamma settings, very subtly used. I referenced my large collection of production photos for saturation levels.
Original scan:
http://i.imgur.com/te8y1Tx.jpg
Cropped, and adjusted:
