Kølemiddel til maskinværktøj: Værktøjer med kølemiddel