Yes, but can you get the download file (Default_EXE.reg) across to the dud laptop?
If so, this should work from the command line:
Alternatively, double click the downloaded file from Windows and see if it will run. If not change its extension from reg to cmd and try again. Viruses often stitch up reg files to prevent them running but forget that cmd also works.
Always pop back and let us know the outcome - thanks