UPDATE: Charles Martinet IS the voice of Mario in the Super Mario Bros. Pinball Machine BUT Gottlieb/Nintendo used his voice clips without paying him and he did not get credit for it!