You might want to consider what I just set up for my father-inlaw. Grab an Apple TV, switch to DirectTV Streaming (it has the same channel selection and full DVR while being cheaper), hook the Apple TV up via HDMI and EARC to your receiver.
If your receiver doesn’t have HDMI control (CEC) program the Apple TV with the receiver volume up/down and set the Apple TV mute button to your receivers power button. With this configuration you can control almost everything with just the Apple TV remote.
For bonus points, sign up for Apple Music and get full 24 bit 48khz lossless audio for $12 a month.