Those cheap carbide sharpeners take literally seconds to sharpen with, but you’re probably right.