tu colega te debe una copa,
una cosa es los formatos que accepta el reproductor, y otra cosa es por donde los saca,
el HDMI solo significa que saca por digital encryptado por esa connexion,
que lo tenga significa que puede reproducir un MKV, o puede reproducir el formato de video optimizado para videos de la belen estevan (con optimizacion de processador para el pollo)
y tomando en cuenta que la mayoria de reproductores con HDMI del mercado hoy no tienen soporte MKV o en algunos casos lo tienen pero es parcial y funciona cuando le sale del nabo (ejemplo : el Western digital HDTV),
en otras palabras, decir que un reproductor lee MKV solo porque tenga salida HDMI es como decir que un coche es diesel porque tenga una caja de 6 marchas, no tiene nada que ver uno con el otro,