Yo no he actualizado, tambien tengo el 7400. De todas formas he mirado en la web y no pone que novedades aporta, alguien sabe qué novedades trae? Es por si merece o no la pena actualizarlo ya que en mi caso es un poco complicado ya que tengo poco espacio para insertar el usb y si no trae nada importante prefiero no actualizarlo. Saludos