Я не понимаю, какой смысл качать отдельно полный пакет символов, если WinDbg может скачать сам только то, что нужно. Качать придется гораздо меньше