A crew from the Pipe Shop cuts, buffs and planes a section of pipe to be used for drainage, water circulation, or a dozen other purposes aboard. . . .