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 €