I'm looking to get a metal cut off tool and wondering which is better and why, air or electric? I see that the air tools typically run at about 18,000 rpm and the electric run around 11,000 rpm. Air are smaller, usualy 3" discs where the electrics are 4" or 4 1/2". Is one better for sheet metal...