Conoscete mica una piccola utility (che sia free!) per disabilitare completamente il tasto NumLock?