Red Leicester is not the nickname for the city's coat of arms.