Have we ever retired a shirt number?