(Cedar City, UT) — A southern Utah school is holding onto its current name and mascot. The Iron County Board of Education voted this week to keep Cedar City High School’s name as the Reds, which was changed from its previous moniker of Redmen. The school district says four of the seven board members voted to keep Reds as the name. The consideration for going back to the previous name was pushed back after the Paiute Indian Tribe of Utah asked for that situation to be avoided as it considers Redmen to be offensive. The board’s vote follows efforts to leave the decision up to voters during this year’s election.