I checked the md5sum (this time hopefully the correct way) using Graphical MD5Sum program listed in the Downloading FAQ. The md5sum of my download did not match the md5sum listed on the mirror site that I originally downloaded from. Also, the byte size is higher on disk than on file (729,010,176-on disk vs. 729,008,864-on file)