earl@BRL-VAT.ARPA (07/24/84)
From: Earl Weaver (VLD/ATB) <earl@BRL-VAT.ARPA> If it's a real spring, a file won't even scratch it. You'll probably have to grind it smooth using a grinder or a sharpening stone (carborundum, or perhaps "wet-or-dry" sandpaper [220, 400, then 600 grit], etc.). BE SURE TO COMPLETELY REMOVE ALL TRACES OF ABRASIVES BEFORE REINSTALLING THE SPRING!