How many movies have Ghie de Leon and October Red collaborated on?

They have not worked on any movies together...