part of the welfare facilities; housed pipe shop, laborers, bricklayers, painters and riggers