I had some time to have a play and it seems your suspicions were correct. I made a script that wrote to the registry, checked the write was successfull then read and logged the key to a file. The Flag was changed to the dword value of 43 but shortly after was updated to 71. The mini setup as you call it that configures the desktop settings also configures some IE settings, this is just after Windows Media Player in the dialog box. My suggestion would be to write a batch file that adds the key and then deletes itself. Copy this to the Startup folder.