How to install Windows Debugging Tools without the whole WDK

Downloading almost 1GB of headers and libraries only for using a system-level debugger? no way!Code machine people kindly packaged all the tools (WinDBG and friends) for us:http://www.codemachine.com/resources.htmlAvailable in all flavours (x86, x64, Win8.. etc)