You will find the symbols on TPB, UL'ed those 9/17. search "Windows 8.1 Symbols x86 and x64 MSDN" (still some seeders) haven't got around to the checked etc yet lol