How many movies have Andres Irias and Buckethead collaborated on?

They have not worked on any movies together...