Muchas gracias a todos por vuestras respuestas. Efectivamente no parece mucho mejor que el 6400 pero me mosquea el tema que comentaba el primer forero, y es que al ser un modelo poco común en España puede que le luego haya problemas en caso de averías o incluso para actualizar el firmware

Qué lástima no haber estado el lunes en el corte ingles, fui el martes siguiente y la tenían a 1099 en 50'