Doe sanyone have a recommendation as to whether there any decent pocket sharpners. I have had several over the years that were advertised as being for machetes, however at work we found they didnt really do that well, some of this may be due to the type of steel in the machetes. I was wondering if there are any decent ones that could be carried with you. THANKS FOR YOUR TIME.