Gaskets. Bureau of Ships manual: chap. 95, Gaskets and packings; Sept. 1, 1946.

Tools