I've tried to download the file:
several times. Every time I get a file with 25200640 bytes.
And each time I try to extract the file, WinZip coughs:
"Cannot open file: it does not appear to be a valid archive."
Is the file corrupt, or am I doing something wrong?
William BC Crandall