How many movies have Barry J. Kelly and Trey Parker collaborated on?

They have not worked on any movies together...