Pi4 and Kodi in the form of OSMC or Libreelec is cheaper and IMO better
It's not even A.I. either
Mine outputs 10bit HDRjust fine even with DV. Takes changing some settings but it's not rocket surgery.
Pi4 and Kodi in the form of OSMC or Libreelec is cheaper and IMO better