.avi sagt wenig aus über den tatsächlichen Video- und Audiocodec der Datei, denn das ist ein altes Microsoft-Containerformat (bzw. Microsofts früheres Konkurrenzformat zu Quicktime/.mov, das ebenfalls alle möglichen Codecs enthalten kann). Du müsstest mit Mediainfo oder in der Info-Box Deines jeweiligen Mediaplayers nachsehen, welche Codecs da wirklich verwendet werden.
Stationär gebe ich Dir recht. Da verwende ich auch einen Blueray Player mit Netzanschluss ohne interne Festplatte. Oben sprach ich aber von meine mobilen Einsätzen. Da macht die eingebaute Festplatte sehr wohl Sinn.
Das gilt insbesondere dann, wenn man mit einer Videosammlung unterwegs ist, die per HDMI zB mit Beamer gezeigt werden soll.
Der genannte HiMedia q10 kann mit fast beliebigen Festplatten - HDD, SSD - intern bestückt werden.