I found one of these locally last year for $100 with the volume control issue. I cleaned up the rotary encoder, and this receiver does daily duty in my man cave system.

I managed to make my TV switch the HDMI, then the coax digital out from the TV feeds the receiver.