I'm unaware of any official spelling (Lisa or Risa) as well :/
And speaking of official names, on most dubs of Mazinger Z (Both English and Spanish) "Great Marshall of Hell's" name was simply Doctor Hell.
There is no official english naming but it's very much like how the Japanese pronounce "Duke Fleed" as "Duke Freed" the way they pronounce L & R is the same.
"Great Marshall of Hell (Jigoku Daigensui)" is what the resurrected Dr.Hell is called in Great Mazinger TV series but I think the Spanish or Italian dub keeps referring to him as "Dr.Hell" in Great Mazinger.
So far I love the quality the translation on the game.