Para além de deter a melhor marca de minutos da história do Benfica sem sofrer golos no principal escalão, com 1.065 minutos , Manuel Galrinho Bento é também o guarda-redes com mais penaltis defendidos nos 80 anos da 1ª Divisão, que são hoje festejados.
Ao serviço do Barreirense, de 1965 a 1972, e Benfica, entre 1972 e 1992, frustrou 6 investidas a partir da marca da grande penalidade, cifrando a melhor marca em 80 anos de existência da 1ª Divisão.
Na contenda, Rui Patrício aproxima-se da sua marca com 5 penaltis defendidos ao serviço do Sporting.