Pumps. Instructions for operation and maintenance of pumps; chap. 47, Bureau of Ships manual.

Tools