Thanks DefMunky for the very useful info!
The 2 that you linked are most definitely within my price range. Can they be used to sharpen bigger knives as well?
Tonight when I'll get home, I'll just need to do a bit of research on both and see a few youtube videos to see which one is the simplest to use.
BTW, any good sharpening for beginner videos that you can recommend?
When googling for best pocket knife sharpening tool, one that seems to come up quite often is the Spyderco one which is a bit more expensive. Any thoughts on that one?