How many movies have Dave Christiano and John-Eric Davies collaborated on?

They have not worked on any movies together...