Can anyone recommend a decent electric die grinder ? I won't use it much, just occasionally to clean up the ports, gasket match, or debur a block or two.