How many movies have Jason K. Allen and Richie Vernillo collaborated on?

They have not worked on any movies together...