I'd be happy if he was chosen, but somewhat disappointed because I've heard of him before and have been acquainted with his drumming for some time, long before Mike left.
When Mike left, I was hoping the new drummer would be someone I'm new to and have never heard much about. That being said, if Mangini is the new drummer, than full steam ahead, I'll stand behind that choice.