Gracias por vuestras respuestas.

Sobre los mkv, la cuestión es que las películas que suelo ver son en formato divx-xvid. De hecho no tengo ninguna en mkv hd, porque pesan mucho más. Por eso buscaba un escalado sobre divx que fuera decente. Sin embargo, si me va a salir por un precio parecido y encima puedo dar el salto al HD como tú me dices, pues igual me merece la pena. Dependería de la diferencia de precio.

Sobre la TV, es una HD ready (no full HD), pero me imagino que le puedo sacar más partido si veo las películas por hdmi escalado.

Y sobre el Philips 5990, voy a mirarlo para ver si finalmente encaja con lo que busco.

Gracias!