How many movies have Andrés Lima and José Antonio Martín Otín 'Petón' acted in together?

They have worked on 1 movie together! Their first movie together was The Realm (2018) and was their highest rated movie together. They have not worked together since The Realm (2018).