Apelido: Machadão
Nome oficial: Estádio João Cláudio de Vasconcelos Machado
Inauguração: 04/06/1972
Capacidade: 42.326 pessoas
Público recorde: 53.320 pessoas (ABC-RN 0 x 2 Santos, 29/11/1972)
Primeiro jogo: ABC-RN 1 x 0 América-RN (04/06/1972)
Primeiro gol: William (ABC-RN)