Código postal de Ojo de Agua de Ballesteros en Salvatierra, Guanajuato, México