After watching tv for a few hours on hdmi, the picture suddenly switches itself to a dvb channel but sound still stays on hdmi. This also happens when watching a recorded programme. The tv is almost 5 years old. This is the first problem we have encountered.