After changing Cedar High Schoolers from “The Redmen” to “The Reds” five years ago, the Iron County School Board is considering bringing back the old mascot.After changing Cedar High Schoolers from “The Redmen” to “The Reds” five years ago, the Iron County School Board is considering bringing back the old mascot.