Do you guys think Devon and Peter will be in the next Mario movie? 🤔