Great that you managed to resolve this. I just thought I'd add anyway that if the file has been downloaded, and you have some idea of the date of the download/s you can go to your Insights tab, select that date range and export a CSV that has the original file names in it.