The spi.dod.mil server is clearly overloaded and downloading this is difficult.

Can anyone who's downloaded this give us an MD5 hash on the files as I'm going to try to download this from a mirror (why the DoD hasn't published an official MD5 for these I don't know)