GOSHEN — “Red Devils” has been struck from the list of nickname options for the next mascot at Goshen High School and Goshen Middle School, but students will need to vote again before the top three names are announced, according to the mascot selection committee.