Here's a great little cheap tool. It really works well in a pinch to touch up any sharp edge.
Back to Drawer 3