How many movies have Harrison Thomas and Pedro Pinto collaborated on?

They have not worked on any movies together...