I’ve never heard “the Redmen” being used except here by Jason. I’m only aware of the nickname “the Reds” (according to wiki, also exist “Scousers” and “Merseysiders”).
Anyway, next season they should give the trophy directly to Real Madrid and then play the competition normaly.