Pues con la oferta que tiene actualmente Philips:
http://www.philips.es/assets/Downloa...tivo-14815.pdf

La 9641D creo que sería la mejor opción que las que comentas, sobretodo porque se puede encontrar por poco más de 1000€ (en Electroprecio, por ejemplo).

SaLú2!