If the Anthem is at the dealer, they should hook it up there to see if the HDMI issue can be replicated. If it works fine there, then it's probably another component in his system, perhaps the computer, causing the problems.
If they can replicate it at the dealer, it will confirm that the...