Was thinking about getting a good sharpener but then read about most hooks these days that are sticky sharp right from the factory are chemically or laser sharpened and we should never hand sharpen them if they dull. I suspect that JM, Owner, Kudako, etc are all sharpened this way, true???