Mirabel’s going to be in the ride. Bruno most likely going to at least have a cameo in the walls since the ride takes place leading up to the gift ceremony. The song is probably going to be in the queue at least.Do you really think they're going to build an Encanto attraction that focuses on Antonio over the more popular merchandisable characters like Mirabel and Bruno? And without the iconic "We Don't Talk About Bruno" song?
Is Antonio even a super-popular character? Not just with the general public, but just with Encanto fans?
From a glance, Antonio is probably mid tier fandom wise.