Mario's Full Name

Wait a minute...if his name is Mario, and him and his brother are referred to as the Mario Brothers, then that means his full name has to be "Mario Mario," right?