Thank you for your answers.
The image has to be red since the light was very red.
My problem is that if I open the image in Camera Raw the colors look right. If I open the image in RT, with the same profile used by ACR, the colors are too saturated.
I am looking fo a way to get, from RT, colors similar to ACR’s.
@age you image looks really good. I used your PP3 file and the result looks very similar to the one from Camera Raw. From a quick check it looks like you enabled the tone curve in the dcp profile and disabled the auto matched tone curve in the exposure panel.
BTW, it would be very handy to have a tool to check the differences between pp3 files in a readable way…