I saw both names in the credits of a tv coverage about Jewish life. Tor's "last name" did start with Ben if that helps.
The name Arnida could be Arabic.
I know that Geva means "hill" in Hebrew but that name was used by European nobility and might have another meaning.
http://www.draftymanor.com/bart/GenBrit/b0001351.htm
http://www.ancestors-genealogy.com/vross/3898.html
http://www.rpi.edu/~holmes/Hobbies/Genealogy/ps05/ps05_035.htm