Pouca gente sabe, mas o nome Arena da Floresta, que batiza o principal estádio do Acre, foi uma sugestão de Antônio Aquino Lopes, o Toniquim. À época presidente da Federação de Futebol do Acre (FFAC) planejava usar o nome em um estádio próprio da federação.
No entanto, a gestão do então governador Jorge Viana pediu autorização para usar o nome no estádio que estava sendo construído pelo governo — e Toniquim cedeu.
Com isso, o estádio da FFAC, localizado no bairro da Floresta, acabou recebendo o nome oficial de Estádio Antônio Aquino Lopes, mas é mais conhecido como Florestão.
