From my understanding, you should get a wider gamut with the 7 color vs double cmyk. With double cmyk, it should allow you to print faster (likely by less passes since you have twice as many heads laying it down) with slightly less color gamut.
As noted above, very well could be a profile...