(Tony Levin, John Petrucci, Mike Portnoy, Jordan Rudess)