I would never think of calling this character anything but Lei Lei, but judging from the tags, Hsien-Ko is more popular.
One or the other should be picked and the other aliased, either way. Since we generally use Japanese names, and the game name is also the Japanese version, I think we should go with Lei Lei.