Force reboot of a remote server

This is for my own reference more than anything. I often (too often, it seems) find myself needing to remotely restart a server. Most of the time it is because the server did not fully go down when I issued the reboot command from the console.

shutdown /s /m \\remotemachinename
shutdown /r /m \\remotemachinename

shutdown /s /m \\remotemachinename — shutdown

shutdown /r /m \\remotemachinename — reboot