For sale is a used Dotco Angle Grinder. The model number is 12S4217-01, 7200 RPM. It runs strong and does NOT leak air! These are military surplus tools and will have markings on them.
eBay