How many movies have Jude Lim and Manuel Velásquez collaborated on?

They have not worked on any movies together...