No, I didn't. It finished downloading though and while the filesize matches what the FTP clients say exactly, the MD5SUM looks wildly different to what was in both the FTP directory I downloaded it from and RHs own FTP site. So, on one hand, I'm looking down the barrel of a dud iso but on the other, I've never really used MD5SUMs before so I'm debating whether I should start now...