You could do a binary or MD5 compare of the two files, if they are identical you can be pretty sure they are OK.
They do indeed have an identical md5sum - I should have thought of that as a quick way of checking, thanks!
It’s not an absolute guarantee they’re OK, theoretically it is possible for two files to break at exactly the same point when downloading, thus being identical byte for byte, but I believe the chance for this to happen is rather small.


