Personally I think that the "Sea of Red" is a pretty awesome nickname. Even though it doesn't distinguish the student section from the rest of the fans, I still think its cool that we have a stadium nickname that reflects the loyalty of the fan base. I don't think we need a different nickname for just the student section imo.
Beat me to it. When you have the Sea of Red,
it's hard to break it up and try and distinguish a student section. Doesn't need to be done.
Not to mention, singling out the student section will only reveal just how sh*tty the student seating is.