Hey, I recently got a Mini-RSK Mk1 (Benchmade Model 558-400) and it's coming to the time that I should probably do a little cleaning and resharpen the blade as well. A lot of people seem to recommend the Spyderco Sharpmaker and I was just wondering if it would be fine for my blade. From the factory, the blade has a high flat grind with 30º plain edge, 6.9º bevel. The blade material is CPM S30V stainless steel hardened to 58-60 HRC. Also possibly if there are better angles to use for sharpening the knife for better edge maintenance. Thanks!