以前同じような質問が下記にあったがその二体は回答に無いね、多分誰かが知ってると思うが、ただあまりにも公式名にこだわると、例えば、今「ジャンプくん」とか「赤髪の勇者」って呼んでる人に対して「それは違う戦士が公式の名前だ(他は使ってはいけない)」とかな話に飛びそうだから嫌なんだよな(キャラクターの名前の自由度が無くなる、極論上記はヘドラやアインズ様で良い…とはならないか)。
http://petitverse.hosiken.jp/community/petitcom/topic/?read=289&ukey=0