Respecto a la preocupacion que tienes con el reescalado, ten por seguro que una buena fuente reescalara mejor que avs de ese nivel de precios. Lo importante es que sean capaces de pasar la señal que les entra por HMI a 1080p y la lleven a traves de su salida HDMI tambiena 1080p.

Otra cosa es que le quieras conectar cosas por componentes (como por ejemplo una Wii o un video antiguo) y entonces si te interesa el escalado que hacen.

Entre los modelos que comentas no has contemplado la opcion del Onkyo 607, que esta muy bien de precio ahora mismo y el escalado que hace de las cosas no conectadas por HDMI (lo conectado por hdmi solo lo deja pasar como viene) es a 1080 i, aunque me han dicho que no es tampoco una supermaravilla.

Yo como fuente tengo un Panasonic DMR 88 con disco duro de 500 y reescalado a1080 p y me gusta mucho como reescala, mejor que otros aparatos que he visto por ahi.