How many movies have Gary Mauro and John Williams collaborated on?

They have worked on 1 movie together! Their first movie together was Amazing Stories (1986) and was their highest rated movie together. They have not worked together since Amazing Stories (1986).