Aproveito a oportunidade para enviar as minhas saudações ao meu antigo amigo e professor de Hebraico, um dos mais assíduos leitores da revista pedagógica "Auditorium", que existiu de 1947 a 1950 e tive o prazer de dirigir.
Tinoco deve estar relacionado com tino, «juízo», tal como o substantivo tinoca, que significa o mesmo. Na gíria, tinoco quer dizer maníaco, e como apelido não se pode considerar um patronímico, pois não indica qualquer filiação.