How many movies have Christian Rios and John Petrucci collaborated on?

They have worked on 1 movie together! Their first movie together was Mike Portnoy - LTE3 (2021) and was their highest rated movie together. They have not worked together since Mike Portnoy - LTE3 (2021).