Jonno said:

I hope you don't mind my giving this a shot, PDB, but that Ripley shot was bothering me and I thought I might have a go at diagnosing the problem.

I hauled out Premiere's channel mixer (a filter that's probably been there since version 1!) to see if I could deal with the red a bit, and the results are surprisingly effective.

Here are the settings I used; a boost of the red channel, and restoration of some greens back to reds and blues:

I'm sure there are tools that can achieve this with a great deal more finesse (a visual histogram would solve a lot of guesswork) but it's good to see that the colour information can be recovered.

Edit: forgot to mention, I also tweaked the levels to bring them more in line with the contrasty look of the 35mm. I guess that's another personal taste thing - I can see why some would prefer to keep as much detail as possible, but it's another area where the BD (having been scanned from the o-neg if I'm not mistaken) differs from the original look.

If you really want to get the most out of the channel mixer, I'd suggest layering the same video on top of itself and changing the brightness/contrast/gamma of each to allow fine tuning the shadows, midtones, and highlights. If you have access to Premiere Pro, using the channel mixer with a curves adjustment should allow you to manipulate the color almost to its maximum extent, and this is much simpler and faster as well.