Wow that's an expensive fdm printer. Well FWIW if you are gonna pay a high price for the FDM machine today it needs to handle changing it's own colors or mixing colors. This is the big thing of the day for FDM and for you to spend that much on a FDM machine that doesn't even have these bells and whistles might leave your butt a little sore in the end. The cheap ebay printer is open source and you can change parts at will. Aside from a smaller nozzle diameter you can also chase resolution with finer precision stepper motors that double the step count per RPM. Most printers come with 1.8 degree or 200 step/rev motors. It is a cheap thing to upgrade to 0.9 degree or 400 step/rev motors. Unlike adding steps with driver boards this is a physical resolution increase. And aside from all of that there are new controllers out that will help you. Like the SKR 1.3. This board brings 32 bit processing to our cartesian robots. Like the smoothie boards. Something else to consider is usually when you find the high priced printers they want to run the higher priced filaments. It is open source that allows us to so easily and comprehensively adjust for different filament grades and qualities.