Thanks. I probably won't get one then.
I can sharpen cutting tool already so don't need a grinder for that. I only need a grinder to make new cutting tools but can leave without it like I have for years.
I'd have to grind on my porch anyway, I don't have a place for the grinder on my bench at all, not even temporarily. The grinder would have to stay on a specific shelf and I just haven't found a grinder small enough (other than this one) that would fit. The smallest 5" grinder I found wouldn't fit. Any other possible space is either also too small or other tools have priority.
Re the suggestion of diamond discs, although I can't get anything from ARC (they have astronomical international shipping) I already have a bunch of diamond and other grinding wheel for my dental micromotor. I considered this instead, since I only need to grind a new tool maybe a couple of times a year, but didn't get good results with it so far. Maybe I just need to work on that or don't have the correct wheels.