My only experience with a hdmi fault is with my lg tv. It has four hdmi inputs and recently when I purchased my new sat box I couldn't get audio. After some cursing at new box I realised that I couldn't get audio from anything on that particular input.
So I know its obvious but does everthing else work on that hdmi input?
Bookmarks