La casilla de Herramientas -> Opciones le sale sombreada, y no puede cambiar el texto, pero en otra máquina si que puede. Debe ser causa de la configuración de su ordenador. El problema es que no le puedo decir a esa persona que remene el registro, porque no creo que supiera hacerlo sin riesgo ... :S
Grácias por vuestras respuestas.