Where are the symbols for Windows 2003 Enterprise Edition SP1?

Where are the symbols for Windows 2003 Enterprise Edition SP1?

Here is the system info and WinDbg output:

OS Name: Microsoft(R) Windows(R) Server 2003, Enterprise
Edition
OS Version: 5.2.3790 Service Pack 1, v.1218 Build 3790
Hotfix(s): 1 Hotfix(s) Installed.
[01]: Q147222

lkd> vertarget
Windows Server 2003 Kernel Version 3790 (Service Pack 1.1218) MP (8 procs)
Free x86 compatible
Product: Server, suite: Enterprise TerminalServer SingleUserTS
Built by: 3790.dnsrv_idx01.040726-1300
Kernel base = 0x80800000 PsLoadedModuleList = 0x808a1ee8
Debug session time: Wed Jun 8 05:50:58.875 2005 (GMT-7)
System Uptime: 1 days 6:15:16.720

lkd> .reload /f nt
SYMSRV:
c:\mss_symbols\ntkrpamp.pdb\8743D72F172549CFB0E4C98FC9740A9D1\ntkrpamp.pdb
not found
SYMSRV:
http://msdl.microsoft.com/download/symbols/ntkrpamp.pdb/8743D72F172549CFB0E4C
98FC9740A9D1/ntkrpamp.pdb not found
DBGHELP: c:\windows\symbols\ntkrpamp.pdb - file not found
DBGHELP: c:\windows\symbols\symbols\exe\ntkrpamp.pdb - file not found
DBGHELP: c:\windows\symbols\exe\ntkrpamp.pdb - mismatched pdb
SYMSRV:
c:\vmw_syms\ntkrpamp.pdb\8743D72F172549CFB0E4C98FC9740A9D1\ntkrpamp.pdb not
found
SYMSRV:
http://pa-build1/symbols/ntkrpamp.pdb/8743D72F172549CFB0E4C98FC9740A9D1/ntkrp
amp.pdb not found
DBGHELP: ntkrpamp.pdb - file not found
DBGHELP: Couldn’t load mismatched pdb for ntkrpamp.exe
*** ERROR: Symbol file could not be found. Defaulted to export symbols for
ntkrpamp.exe -
DBGHELP: nt - export symbols

Dmitriy Budko, VMware