El 3100 no tiene salida hdmi.
Puede ser adb 3800 0 3100 por que el mio es gris con reloj .
Por descos estoy cerca de recibirla:RpS_thumbsup: pero por zonas no tanto :RpS_wink:.
Esta actualización es la famosa v.6. De momento se irá actualizando por descos y por zonas, por lo que no todo el mundo la recibirá para ya mismo ; )