My HDMI output on my Onkyo TX-SR705 went bad, and it's looking like I either need a replacement HDMI board, or just buy a whole new receiver. Anybody have ...