O no encuentras nada o te encuentras cosas que no esperabas. He encontrado otro medio de modificar el registro de windows sin windows. La solución se llama PCRegedit y es un sistema basado en Linux que nos permite editar el registro de un windows arrancando desde un Live CD de Linux. Y es gratis.
En la su sitio web podéis encontrar más información y descargaros el ISO para crear el CD de inicio con la herramienta.
Por cierto, el registro de windows en la parte más delicada e importante del sistema, un error en su edición puede dar al traste con todo. Manejadlo con cuidado. Eso sí, como dice el refrán: «De perdidos al río«.