In Spanish, we can say super shorthand for supermercado which is super market.
Costa Rica has many expats due to its retirement marketing. It’s a very easy country to reside in permanently and legally for people of any background. Mario is not that unique of a name.
Your post just shows how ignorant you can be of different cultures as well as having being very /r/hailcorporate. You can love Nintendo all you want, but it does not give them exclusivity to the name Mario.
And to state the obvious: Nintendo lost the suit, the founder named it after him self and the super has been in operation for over 50 years.