First download went quickly and when I tried to unzip I got an error message that the file is corrupt.
Second download worked and upzipped correctly.
However, after seeing all of the posts on various 2.5.1 problems already, I'll wait a month or so for the bugs to be worked out in this upgrade!