Código postal de El Puertecito (El Puertecito de las Lagunas) en Tiquicheo de Nicolás Romero, Michoacán de Ocampo, México