"More like 5 or 6 Megs at least"

I think it's quite obvious that he meant at least 5 or 6 MB greater than 13,000 K.

1024 KB=1 MB

You could try searching using ***'s file extension instead of the name. For example, "sit" & "dmg" work well on a Mac. Or use "zip" and "rar" on a PeeCee/Windoze. Then choose to sort by file size, and look in the range you expected.

Hope this helps....