La camiseta alternativa roja fue adoptada formalmente en 1991.