Henry,

Both my machines are downloading correctly today, so it looks as if
they fixed the problem. I was downloading the files manually for a
couple of weeks and copying them to the directory.


--
Alan