Dear list, Is there any filter that can change the colors on the fly? For some reason when I use my hdmi cable to see a movie on the TV the colors are too saturated. I would like to undo the effect a bit. Yours faithfully, Paolo