My apologies RAS... I didn't notice the quotation marks.

No, I don;t think you need a super fine edge. It's a personal preference. 15 degrees is 30 inclusive though.... 12-1/2 is 25. That's not too fine for an RSK. You (no, I) want it as sharp as I can get it, not necessarily a fine edge, just a very sharp one.

I think that Sharpmaker will do the job from 30 to 40 degrees, and several on either side of that.