Pues si lo que buscas es colorido en la pared creo que sin duda el AUREA, pero si lo que buscas es HDTV pues el 9742, ya que el sintonizador de tdt viene preparado para alta deficinición cosa que el de la 9900 no lo es.
un hdmi menos en el 9742 pero bueno...
Yo si lo viera en marcha aqui en españa me lo pillaba seguro pero no me fio mucho de que luego sea 100% compatible.