Also, do a search for "Gateway to PDF". The main page is gone, but you can save a copy of the cached version of the webpage to your own machine, and still download the files.
That will give you the power to make your own PDFs of *.sec files, for this and other projects.
The directions are very easy to follow, too.
Hope this helps,
Flynn