An extremely convenient tool for polishing 3D prints.