Technical manuals. Technical manual: Instruction guide, instrument repairman [with list of references]; May 15, 1942.

Tools