Which EB strings does Petrucci use?

Does anyone know what EB strings John Petrucci is using these days? I have a Majesty and am looking to change strings on it. I know it came with 10’s. But I tend to play 9.5’s. Anybody using Paradigm’s on their Majesty?