I just finished a tune up on a beat up Buck 521. It was solid but had been scratched, dropped and sharpened. The sharpening was crude, not on a grinder, but a lot of nasty scratches. It's only 420 HC, probably not as hard as your's, still pretty hard. Use the wet/dry like these guys said. At the local auto parts store they carry 220, 400, 800, 1000, and 2000. The auto body and paint supply carries more different grades, although I don't think they're necessary. The first thing is to get rid of all the scratches. Use the 220 until the finish looks totally brushed or the next finer grade of sandpaper will just polish the scratches. Tear the sheets into strips about an 1 1/2" wide and tear them into 1 1/2" squares. I say tear them because the ragged edge doesn't leave scratches like a cut edge does. Fold those into a V and work them back and forth from tang to point while squeezing the sandpaper between your thumb and forefinger. Change your paper often. If you move to a finer grit too soon, you only polish scratches. Working into progressively into finer grits to 2000, if properly done, will give you a better mirror finish than a production factory. Custom makers might go 2500 or into microns but I'll bet those knives don't get used very much. Also, used 400 grit doesn't turn into 800 grit. It may seem smooth, but it still leaves 400 grit scratches. Throw used sandpaper away. I only use polishes on bolsters, they don't seem to have much effect on a blade. After the blade is polished, a few strokes over a fine stone will have you shaving. Be careful, watch your fingers and good luck.