“What type of HDMI cable do I need to run from my DIRECTV receiver to get best picture? Is it supplied with the TV?”