The other person already said they probably won’t do it. The name is too central to their brand to change it or back off. I would be curious if we see anything to emphasize his last name somewhere though.

Just like a “hey everyone this is Luigi MARIO a very distinct character not based on any real person!”