Wouldn't be disappointed at all by Mangini, and given the CV and the unspecified recording prokect - and, of course, the occasional anecdotes who do, naturally, need to be taken with a pinch of salt, but evidence is evidence - he's the only candidate who has a solid body of evidence pointing his way, and doesn't really have "anything else" on. The man's a phenomenal drummer, and one of the few people who genuinely makes the mind boggle.
I will say, however, that Minnemann is my first choice. I like Minnemann's attitude a lot. I think his drumming's got a lot more character, while being technically incredibly tight. A little bit like a middle ground between a drummer like Portnoy with all the fun and the chaos, and a drummer like Gavin Harrison with the very precise and well-crafted beats. I also really like the idea of a drummer who can collaborate in a very intelligent musical way. I think having a drummer who's also a guitarist could add a lot to the writing process.