Just curious what others use as their setup for tuner/DVR. I have Plex as my server, but haven't played around with any DVR functionality yet. I was looking at Tabloo or Homerun 4K. Anyone happily and successfully set up their OTA DVR?