Hughes Tool, no. 6516; Industrial-Hughes Tool