Yes. ‘“ the HE Tool Head prints a wide range of materials from soft & flexible TPE to durable carbon fiber reinforced filaments.”. I’ve no experience with that tool head. I’ve printed Ninjaflex with the Mini 1’s Flexystruder, Taz 6’s Aerostruder & Dually v3.
With Lulzbot print heads costing over $300 a piece having a dedicated printhead for different filament types isn’t a cost effective solution in my opinion, especially when the filament is pretty easy to swap out. I would more go for that solution for different nozzle sizes since that can be a bit of a chore and a pain, but still, $300 plus? I’ll swap the nozzle out.
It really depends on your needs, a lot of swapping in your routine? Then a dedicated print head might be for you. You should purchase a roll of Ninjaflex, try it out and make a decision from there. Printing with the dual head v3 was nice because I could combine the Ninjaflex filament together with the other plastic I was printing with making a nice solid bond with the two materials.