The Port Jervis School District will no longer be called the Raiders starting this summer, following a mandate from the State Education Department last January.

The Port Jervis School District is joining in on growing pushback surrounding a state directive requiring it, and other districts, to change the name tied to their sports teams.

The Port Jervis school district referred News 12’s inquiries to their attorney who declined to comment. Grosse was ordered to pay Leudemann $3.75 million.