I was going to Miami when Andrew hit. I do not recall any type of student vote regarding the Hurricanes name. Frankly, I don't see how that would be up to student vote anyway. A change in mascot name would be up to the Board of Trustees I'm sure.
The only person I heard mention such a change...