How many movies have Diego Ruiz Velázquez and Trippple Nippples collaborated on?

They have not worked on any movies together...