Try exporting the registry key from a machine that has the key you
want and saving it as a .reg file. This can be done by using the "export"
command from the registry editor. (regedit) Once this is done, you can just
have the users double click on the .reg file you exported, and the key
should be added to their registry. This will keep the rest of the registry
intact, and only change the key you have specified.