I was more hesitant on Galaxy in the past, because while that generation of fans from the 2000s and Nintendo itself love Mario Galaxy, I'm not sure how much that translates to younger kids born in the late '10s - early 2020s. This is a 20 year old game we're talking about.
With the movie though? Chances have definitely increased. I still hope it's Mansion in the end, but Galaxy is possible. Epic would also be the place to make that happen.