Hey guys I recently bought a rodent 9, and from what I can gather on the site it has a convex edge. Im just wondering how exactly do i sharpen a convex edge? I once read in a book that all you have to do is pull instead of push? Also my current sharpener is 1000/6000 grit water stone, is that good?