I got a bargain in a local charity shop 2 weeks ago, a kitchen filleting knife and Kitchen Devil knife sharpener (both for 1 pound), seems ok, easy to use:
Legend Cookshops
Also saw a youtube video for the aforementioned Warthog sharpener:
Can you do this with your dive/spearing knife (Japanese knife seller):
Bet this guy can: