Easy way to get DDK (Driver Development Kit)

The Windows Driver Development Kit is only available on their website in .ISO format. Is there anywhere I can get the kit as a packed zip/rar file? I don’t have a DVD recorder, so the whole .ISO thing is kinda a pain. Any places I can get it in a nice format?

Off Topic Question:

Why do all C/C++ functions have to have such UGLY names. Like in DirectX, it’s: U_NT_STATUS_CREATEDRIVER(*argv, argc);

In C# it’s so nice: device.CreateDriver(Format Format.Good);

So seriously, why do the C standard libraries have such ugly names (even the name stdafx.h is ugly and totally non-self documenting)?