I read somewhere that Wario and Mario were cousins, meaning Wario could have a number of different last names, but more than likely it was "Wario Wario", but I'm going to have to start thinking about that a little more, but anyways I really don't mind Mario's name being "Mario Mario".