This is really lame, but still kind of cool. Okay, it's not very cool at all. LOL Anyway, here goes....
One of the guys who teaches at the same place where I teach plays Eddie in a Van Halen tribute band. We were talking about the DT drummer thing and the guy said Mangini played in the same VH tribute band (before the guy I know was in it) back in the 80's. I thought he might have been mistaken, but I just looked it up and, sure enough, there's mention of it online.