"Master Faustino is commonly known as Pina, which is likely a diminutive of a word. The nickname was given by a family member when Neto was an infant, and since the origin of the name dated back to his early childhood, there is no record regarding the root of the name."