Si solo quieres reproducir esos archivos, un reproductor multimedia como el Asus oplay (menos de 100€) seria lo que necesitas.

Ahora bien si ademas quieres acceder a internet, un pc, sin duda.
O bien un mini como ese que comentas, o puedes comprar una nueva tarjeta de video con hdmi para ese pc que tienes y solucionado.