I need a budget (not expensive) knife sharpener that is small and portable (for EDC).

I am torn between several models that I have seen on EDC/BOB videos. So, I thought to forget those videos and ask on ETS.

Thanks