For those who don’t know, the school’s colors are green and white and the team nicknames are the Eagles and the Mean Green. Therefore, the word green in the story doesn’t always mean eco-friendly. Sometimes, it’s just a pun.
BTW, Denton is a lovely city where I-35 splits off towards both Dallas and Ft. Worth. When my brother went to school there in the 1980s, they had the most beautiful women per capita that I’d ever seen.
Started calling themselves the “Mean Green” when Joe Green was playing there ca. 1968-9.