Moui... dans ce cas "Luigi Mario" à la rigueur, mais "Mario Mario" ?
De plus quand on voit ce qu'ils ont fait de l'univers de Mario dans ce film, je doute fort qu'il y avait une véritable justification culturelle à les prénommer ainsi.
Surtout pour des plombiers italiens inventés au Japon... vivant à Brooklin.