Anoche estuve mirando en otros foros, estos italianos, y también es conocido el bug del rojo, sobre todo con HDMI. Incluso han puesto unos ejemplos donde se ve muy claramente el problema (mirad los perfiles verticales de la letra A)
EL FALLO DEL ROJO
CÓMO DEBERÍA VERSE