How many movies have Marik Thexton and Michael Richard collaborated on?

They have not worked on any movies together...