How many movies have Dave Christiano and Jack McHaney collaborated on?

They have not worked on any movies together...