I've started a new post so that the long sharpening knives post doesn't have to be brought up again.

I'm not sure which pocket sharpener to buy. I've got a choice between: The Lansky Mini Crock Stick Knife Sharpener (£4.95), The Gerber Pocket Sharpener (£3.95) and the Gatco Micro-X (£8.95). What do you think?