I have a heavy duty paper cutter, not an office type but more like the type you see in a print shop, that compresses a stack of paper and then cuts through a couple of inches of it in one operation. The blade needs sharpening, which I think normally means removing the blade (about 15" long, heavy piece of metal, might weigh 5 lb) and screwing it to a piece of wood so it won't cut anyone's fingers. Then all I've heard is "bring it to a machine shop" for sharpening. Does that make any sense? Any idea how to locate a suitable machine shop that does that kind of thing? Yellow pages, or what? Thanks.