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:
It is just really good work! By the way, have you heard from your friend about the original 4K scan copy?