I have a few of these I need replaced. But I can’t remember for the life of me what they are actually called. I’ve always heard them referred to as metal rasps. Anyone have the right name?