How many movies have John Petrucci and Mike Mangini acted in together?

They have worked on 7 movies together! Their first movie together was Dream Theater - Live at Luna Park (2013) and was their highest rated movie together. They have not worked together since Dream Theater - Distant Memories Live in London (2020). They are most known for their music films together.