I would set it up with a smallish (50 - 100 mm) diamond grinding wheel, preferably with a flat face (a cup wheel) for tool sharpening. My experiments so far suggest a diamond wheel can give a much sharper edge bu removes metal at a reasonable rate, at least for a small toolbit. At the same time it produces far less noise, smoke and dust than a normal grit wheel. Yes, you could sell it, but alternatively you could use it. Use would almost certainly be intermittent and brief.