Update: Enabled firewall, tried a couple more times to update, finally downloaded and installed ok. Seems that the server providing the update files must be busy. The default time for automatic updating is 2 AM, so I'll bet everyone is hitting the download at the same time. I'll pick another...