Das Petra-Problem wurde von euch gelöst. Hier die Ergebnisse:

121 Leute meinten Petra ist ein Mädchen. (71,60%)
31 Leute meinten Mia ist ein Junge. (18,34%)
Und 17 Leute waren der Meinung, Petra sei eine Frauenzeitschrift... (10,06%)

Aaaber: Nachdem ich ca. 40 E-Mails zum Thema "Petra" bekommen hab, hat es mir gelangt und ich habe mich direkt an Nintendo gewandt. Und welch eine Überraschung: Die hatten absolut keinen Plan. -.-"
Das ging ne zeitlang hin und her, dann habe ich eine E-Mail-Adresse bekommen, an die ich mich mal wenden sollte. Das war schon vielversprechender, immerhin sollte ich die Mail in Englisch verfassen. Hab ich auch sofort gemacht.... Mit dem Erebnis, das ich fast 2 Wochen auf eine Antwort warten musste.

Letztendlich kam folgendes heraus:
Petra ist ein JUNGE!

Natürlich ist "Petra" ein Mädchenname, allerdings haben das die deutschen Übersetzer zu verantworten... In der englischen Version hieß "Petra" nämlich noch "Kid Cat"! Anscheinend hatten die deutschen Übersetzer keinen blassen Schimmer davon, dass "Kid Cat" ein Junge ist, und haben ihn kurzerhand in "Petra" umbenannt.... -.-" 
Bravo Nintendo, ein männlicher Charakter mit Frauennamen! ^^"

Aber wenn ich schon mal den Kontakt stehen hatte, hab ich mich auch gleich nach ein paar anderen zweifelhaften Namen erkundigt. Hier die Ergebnisse: