用于制造工具维修的红外线加热器