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.