Wanted to thank you for this as well. It is really helpful! I looked online a long time looking for these and only found those places trying to sell you a copy of the PDF of the manuals for $20 a piece.
BTW, I have a server I can put these on to serve as another mirror for you if you want. I have unlimited storage and download limits. So a couple of GB's is nothing.
Let me know and I will put them up