Err..

I knew that. I was talking to a guy about tony macalpine on irc at the time I posted that, and Carvin just came out :P

But yes, Petrucci did play Ibanez guitars, had a custom model if I recall.