Sobrenome Marins

"MARINS - Sobrenome português patronímico. Vem do nome próprio Marino. São formas intermediárias e variantes MARINEZ e MARINIZ."

Fonte: FOLHA DE HOJE (Caxias do Sul/RS), 03 de Setembro de 1993, pág. 02