Nintendo may not have, but every story involving them has their surname being Mario (for instance, the movie). And as the article says, they're known as the Mario Brothers, meaning they're both named Mario.
Abusive comment hidden.
(Show it anyway.)