The machine in question is running Windows 7 (64 Bit) on a Core i5 with 8 GB of RAM with all Windows Updates applied. Not that the specs should make a difference.
Shutting down this machine from the start menu or through shutdown.exe - s
sometimes restarts it instead. Any clues as to what might be going on?