How many movies have Ean Ravenscroft and John Hayes collaborated on?

They have not worked on any movies together...