Hola, quería consultar si alguien sabe cual es el reprodcutor para MKV´s más barato con reproducción Dolby Vision

Según lo que he leído es el Xiaomi TV Box S (3a generación) que está sobre los 60 euros pero no se si por Kodi o por VLC lo saca pero no estoy seguro porque no lo he probado.


Un saludo y Gracias