Thanks for the very useful and great comments and suggestions!

I went ahead and also checked some other machines but the FlashForge portfolio definitely looks interesting.

The FlashForge Creator Pro 2 looks very promising. Especially the IDEX system is very interesting. Just could not find many topics about it, especially if I can change the nozzle to have a smaller one.

I also come across some other printers like the AnyCubic 4Max Pro 2.0 and the Qidi Tech X-Pro which is also very promising. Need to check all of these. It is a bit hard to tell which one has good print quality.