Personally, I thought Marco would have been the best fit. For his inventiveness in different time signatures, and his overall enthusiasm. To me, Mangini was a bit of a try hard all through his DT career.
He was passed over due to the exclusive clause. After Mike, yeah maybe I get that but he should have been allowed his freedom with The Aristocrats and whatever other side projects.