Matesanz, estás seguro que son 4 luces rojas?
Probablemente sean 3 luces rojas y si tu código es 0020 lo más seguro es que se trate del GPU, que aunque los códigos puedan describir otro daño (0110, 0102, 0020, E74), en realidad se solucionan con lo de la pistola de calor sobre el GPU y en un minúsculo porcentaje puede ser lo que en realidad se describan.
Pero si tienes garantía, mejor envíala a M$.
Saludos.