Código postal de Boca del Túnel de Potrerillo en San José de Gracia, Aguascalientes, México