For a quick check, download the first file's 20MB.
Should enough to play video if it is avi.
Should enough to open it with winrar if it is a rar file.(fake ISO)
when openit with Hex Editer, ISO should be start with "00 01 02 03 04 ~0F 00" in the first 17 bytes.