Did freshmen go to JJ pearce High School in 1980 or did they go to a junior high in Richardson Texas?

No, Until the 2005-2006 school year J.J. Pearce was just grades 10-12. In 1981,did J.J. Pearce have grades 9-12?