If anyone needs manuals scanning in high quality and without splitting A3 into A4, just give me a shout. Scanning takes very little time as I have access to machines which can scan 7,500 A4 pages per hour in 300 dpi resolution and full colour if needed. As long as what needs scanning will benefit the community, is in good enough condition to make scanning it worthwhile and it's not more than one manual per week, I'm happy to be a scan bitch.

(You have to cover the costs of sending the paper and receiving it back again if you want the paper returned to you.)
Once my summer vacation starts, I'll have some time to work with the scans I made of the 7151 MM and:
Remove the bleed through in section 6.
Remove the black rectangles from the binding holes.
Fix the horizontal dirt lines on some of the other pages.
Fix the various black edges caused by deskewing the text.
Use the OCR results to create a proper index for the PDF file.
Getting rid of the problems with the source document is a lot of work in Gimp though and for now, I'd rather give people access to the manual than spend time I don't have polishing the images.