Honestly, this wouldn’t surprise me. You know Petrucci would be like “ooh cool, I’ll take a free guitar to mess around with. Just one song? No problem.”
I love Haken, and they make excellent use of 8-strings.
As a bass player I’m not a fan of them, though. Tuning any lower than a full step...