Rotating HDMI ports to see if a specific port isn't working is also worth exploring. You should also check if you're current on firmware and software updates, but if the Vizio menu works ...
I spoke to Vizio about the problem and the company is aware that some AV receivers are having trouble with this HDMI port. Though it's looking into a fix, Vizio doesn't have a release window for ...