This is really a Google Analytics question.

How about having "download.html" use Javascript to automatically start the download (of course, after GA's JS code gets run.) Then just look up the statistics for "download.html".

Do you have access to your server logs? Parsing them directly might be a better option.