Por si a alguien le deja de funcionar el stylus, que no pruebe con los drivers primero, no vaya a ser que sea como en mi caso, que fue desenroscar la tapa, volverla a enroscar y ya estaba funcionando.
Por cierto, ahora que se nos ha unido gente(esto ya lo había preguntado hace tiempo)... ¿alguien sabe cómo arreglar lo de las letras borrosas = problema de Windows 10 con los DPI? Hay una herramienta de un holandés, W10 DPI Fix, para volver al ajuste de los DPI de W8.1, que por lo visto era mejor, pero yo no consigo que me funcione.