Yes but the US release is notorious for its mistranslations, so we could say her real name is Tina or not?