Congrats on the good antique find, and for getting it somewhat shave ready! I would think for an extra smooth feel, you may want to finish up on an 8,000 or 12,000 stone, but I'm still a beginner myself. I just know (from reading) that sharpening razors is a little different than knives because the bevel is one that is going against your face, and should be extra smooth.

As for professionally honing, you can always click the Classified button at the top of this website and send it off to be professionally honed by one of the guys here! Then use that to compare against.