José Águas foi o primeiro português a levantar a Taça dos Campeões Europeus. O avançado apontou o primeiro golo do Benfica na final, somou 11 golos nessa edição da prova e sucedeu a Puskas como melhor marcador da Taça dos Campeões Europeus. Foi o primeiro jogador de uma equipa portuguesa a consegui-lo. Eusébio e Torres igualaram o feito; tal como Rui Águas, filho do antigo capitão, com quatro golos em 87/88, os mesmos de Madjer (FC Porto) e mais quatro futebolistas. O último com emblema português a fazê-lo foi Mário Jardel (1999/00), ex aequo com Rivaldo, Rebrov e Raul.