How many movies have Glenn Downey and Robert J. Petrie collaborated on?

They have not worked on any movies together...