I've been hoping for Minnemann ever since I heard Portnoy left, and it was cool to see that he was almost chosen. I'm sure mike will be a great fit for the band, but I suspect that he will more or less be a Portnoy replacement, whereas Minnemann could have brought something new and exciting to the band.
Anyways, I went with "Cool, whatever". Mangini is a solid choice.