Books about Repair ships -- Handbooks, manuals, etc.