How many movies have Babalú Machete and David Ramírez Hocking collaborated on?

They have not worked on any movies together...