Just seen a diamond sharpener on Lidl offers. Round one side, flat other with a groove for sharpening hooks or darts. £1.99.Any good? Are those things (a retractible sharpener =looks about pen sized with pen style clip) any good for sharpening knives?