The files are about 42 - 47 KB. Which, looking from modern-day .mp3s (3 minute song ~ 3MB :p) should make it a 3 second mp3. Don't know how accurate my calculations are, but I suppose we're looking at mp3s not more than 10 seconds long, from the download link. So I'm guessing the files uploaded for download are not the right ones.
Thanks for your feedback.