Hmm, the MD5SUMS file seems to have updated itself since I last posted, and the MD5SUM is now correct. Apologies if I took up any of your time! Many thanks Mike.