La TV no puede hacer de reproductor de esos archivos .mkv?
Lo digo, por ahorrarte el cambio de AVR.
Un sustituto podría ser el Denon X2400, o X1400, o ya los nuevos modelos, X2500 o X1500
Aunque yo te recomiendo el mio, Marantz SR6012 que en amazon.de igual localizas por 700-800 €