I'm interested in purchasing a small "pocket/compact" knife sharpener that I can use to sharpen serrated knives while out in the field. I have looked at the Gerber Diamond Sharpener and a similar Buck sharpener online, but was wondering if anyone here had some experience and/or recommendation. Thanks.