Hubo diferentes propuestas, entre ellas el retorno al nombre originalmente ideado o ponerle Cinco de Octubre en recuerdo del día en que se celebró el plebiscito de 1988 que puso fin a la dictadura.