Okay then where I get the File Name?

First go to the File Description Page (the page with "Download!" at the bottom =).

At the top of the page it will display the File Name in bold, take a note of it.

Well what you waiting on? Type it in :-).