Does anyone have any info on this receiver? Seems like with the 8000 competition, has two tuners, one for satellite and cable. I am considering buying one of these for testing but my doubt is: Is Portuguese menu. Has some support for firmware upgrade? Could someone help?