R2 rarely looks as blue in reality as he is in the blu-ray, so I'd say reducing it is better.
On a different note, the thing about the blu-ray that most stands out for me is how everything which is supposed to be white has been pulled down into a greenish or bluish murk. See Luke and Leia on the Death Star shot you posted. Leia's dress is supposed to be a cream color, and Luke's shirt has very little green in it, however in most of the blu-ray their clothes look green. On the R2 shot you posted, I always check the white background at the edge of the frame, but here again it's green. This shift makes C-3PO look too green as well.
My method for correcting this persistent green shift in the mid-highlights has been to isolate four or five levels of luminance throughout the movie (deep shadows, shadows, midtones, mid-highlights, highlights) and add blue and red to the mid-highlights, and then adjust the brightest highlights to keep them neutral in terms of color cast.