How many movies have Jeremy Marinas and Renato Miguel Ruiz collaborated on?

They have not worked on any movies together...