"Typically, the tools described above will be made of materials such as tungsten carbide, titanium carbide, machineable ceramic, diamond, osmium, rhodium and tool steel." . . . .