I need to clearance the push rod holes on my Eddy heads and have to buy a bit for my hand grinder to do so. Would like to know what type of bit works best. Should I get a single cut cylinder bit or a double cut or perhaps something else?