Hahaha, no I havent. From what I hear he's a bit of a d-bag. People use the term "shred" way too often, but when I thingof "shredding" I think of Yngwie.
I forgot Steve Vai, my bad. He's a cool dude, I've met him before. Hearing him improv random stuff is like hearing god play guitar