For me I just call him what he is. When I'm talking about videos where he's called Mario (Super Mario Got Milk until The Hypnosis Ray), I call him Mario. When I'm talking about new videos where he's called Marvin (Jeffy's Whistle onwards), I call him Marvin.