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?