Absolutely!!!
Any one of those are top notch Virtual analogs (Without stepping into the Microwave/Supernova price range). I think personally the Ion/Micron is superior in many ways. It hands down spanks the MS2000, not so much so against
the K-Station though. The MS2000 does have the better vocoder, but if that's not a consideration...
Furthermore, the Micron can load any Ion program too.
Where the micron does pale in comparison, is in the lack of knobs. Primarily you edit the Micron via menus. The Ion can be edited the same way, but obviously can be edited much more intuitively due to its hands-on interface, which often leads to more natural sounding patches I think (When I edit via menus, my programs often lack that randomness that often makes the difference between a good patch, and a great patch. I attribute it to the fact that entering values numerically, as opposed to entering values by what your ears hear, results in a far more calculated sound).
Yeah the Micron's engine is a little more sophisticated than the Ion's, but I would say, save up and by the Ion (more keys/knobs), and invest in a nice dedicated FX-box if you wish. Or go with the
a KS4 or KS5. Novations are excellent, but I do feel that of all the VA's, the Novation K's and Supernova's feature the worst core sounds (Programs that have had all their FX stripped off), but they have some of the best FX of any synth out there, to compensate for it. And they do sound liquid like...Smooth As Silk...