did a search and could not find any threads that compared and contrasted the different types of sharpening stones. So what, in your opinion, are the pros and cons of: oil stones, water stones, ceramics, diamond, other (or categories within the previous list; natural/synthetic, etc)? Cost, durability/life , speed, ease of use (forgiving of mistakes), maintenance, other? Are certain types better for different stages of sharpening? (dull blades without a good edge, re-sharpening a good edge, polishing an already sharp edge). Thanks in advance.