I would consider hard survey data as to what names are being used by the general population, but there is a big difference between the intent of a branding campaign and its acceptance by the general public. I think there is some merit to keeping the article consistent, so we added NYS to each infobox, and used the full official name in the lead sentence.  When I was there everybody called it "Ives High" because of the lockers lining the hallways, so we had better stick to the official name rather than what the school is called in popular culture.