Good point.
Also, I agree with you 100% on your second paragraph.
I personally think the North Stars name has a better ring to it, that's why I like it. Also, I don't think anyone outside of Twin City folks will even care....and we don't play them in many sports anymore. Give it 5 years and it would be a thing of the past. Even the smaller MN schools we do compete against, they all would have had the same chance to choose North Stars as a nickname.