How many movies have Gabi van Horn and Jose de Jesus Martinez acted in together?

They have not worked on any movies together...