硬质合金铣刀进行高速切削时，由于刀齿耐热性好，因此一般不用切削液，必要时可用（ ）。