How many movies have Alan Tudyk and John Lavelle acted in together?

They have worked on 3 movies together! Their first movie together was Frozen (2013) while their highest rated movie together was Zootopia (2016). They have not worked together since Ralph Breaks the Internet (2018). They are most known for their adventure films together.