Now they know because it was made known in the news story, but did the kids know her working name before the story broke?
Don't know. It's best to avoid a situation like this in the future, so the school district should make it policy to avoid hiring former - she's actually current, according to Wikipedia[1] - adult performers.
1 - "Crystal Gunns is currently signed by PhotoClub.", Wikipedia