It was certainly never mentioned when I was in school. I knew about it, but I bet some of my classmates didn't. And it hadn't even been retired yet.

Challenger was mentioned, but only because I brought in a newspaper clipping for the 20th anniversary.