When do we learn Manuosos’ name?

I’ve just be calling him the Paraguayan guy and my wife told me today his name is Manuosos? Do we get any hints as to his name that I missed in the show, or do we only know that from his imdb credit?