Was looking at the 3 device RCA below. I like the Siri Remote but need input function and don’t want to give up my mute button to remap it for that. Can live without Siri (can use my iPhone) so seeing what the best option is out there, and if anyone personally uses this RCA remote.
If HomeKit sees your TV and / or AVR, you can use it to change the inputs, I believe. Hold the button above the volume control on the Siri Remote.