Excellent. I think a single nozzle with dual extrusion is a better choice for detailed and quality printing but they are pretty rare, mostly DIY. If you want a streamline dual extruder with two nozzles I would say almost all the brands out there are good but if you are looking for reliability and less maintenance then Ultimaker and Makerbot (and clones) are the brands I have tested and recommend. Both have dual extruders with very well supported software. All the models are very reliable machines, have 4 Makerbot Replicator 2x (beside others) for around 3 years and they have printed over 10 tons of plastic with typical wear of nozzle and needed just lubrication and calibration once in awhile.
But it depends where you are located and what your options are, these are not the best you can find but very generic and easy to fix with tons of mods and data available online.
For 5000 you can go a level higher than FDM for better quality but not sure if you can get something that prints multi-material or multi-color.