AirTV Mini and Tivo Stream 4K

[NashGuy]

I was referring to third party IR remotes like the OneforAll and Function101 or TV IR remotes.

Ah, gotcha. Yeah, I was sold on using my trusty ol' Harmony 650 universal remote when I first got my ATV4K and initially tried to use that to control it, just as I had done with the old-style Apple TV it replaced. But I found that certain actions required swipes on the Siri remote trackpad. Plus the Harmony lacked the voice input completely. So I stopped using the Harmony. Since I had shifted my OTA TV from a TiVo to the ATV4K, I really could do everything except control my Blu-ray player with the Siri remote. Gosh, I don't know when the last time was that I watched anything on disc. Seems like I rented Dunkirk from Redbox back before the pandemic.