Silently for the most part, the workmen hung up their tools. The half-completed pumps were put away in their racks. The workmen filed, some of them talking, others silent, a few muttering, to the washroom to wash up.