on an alternative note, for $3000 you could buy FOUR flashforge creators. Dual heads, heated bed, will print with just about anything.
You really don't get that much more for your money with the more expensive machines.

If I was going to buy a bowden setup printer I'd probably go with 3mm filament. Just gives more push and pull for retraction so you should get less stringing and faster porinting than with the 1.75 mm bowden setup.
And I suspect 3mm printers have less hassle with the flexible filaments as well.