himog wrote:
That seems to be it, but who else sells it?

I was expecting it to cost rather less than a 7x10 mini lathe.

Why? All the labor is the same, just a little less materials cost.
And since the Micro is apparently sold in far smaller quantities, the
economies of scale diminish accordingly.