What was the name of the high school that Richie Cunningham of the TV series "Happy Days" attended?

"Happy Days" is an American television sitcom that aired on the ABC network from January 15, 1974, to July 19, 1984, with a total of 255 half-hour episodes spanning 11 seasons. Created by Garry Marshall, it was one of the most successful series of the 1970s. The series presented an idealized vision of life in the 1950s and early 1960s. In the Midwestern United States, and starred Ron Howard as Richie Cunningham, Henry Winkler as his friend Fonzie, and Tom Bosley and Marion Ross as Richie's parents, Howard and Marion Cunningham. Although it opened to mixed reviews from critics, "Happy Days" became successful and popular over time.

Jefferson High School is a public high school (9-12) in Milwaukee, Wisconsin. Often referred to as Jefferson High, it serves as the school of Richie Cunningham, Warren "Potsie" Weber, Ralph Malph and later Joanie Cunningham. Fonzie briefly tried to attend here in an effort to drop back in, but it didn't work out. The school has a full high school academic lesson roster (English, math, science) as well as military ROTC training which Richie struggled. Potsie was also in the class, but he kept playing pranks during training. The school also has a sports program with football and basketball teams that play the other local schools. Both Richie, Potsie and Ralp were on the basketball team.

In his Senior Year, Richie joined the school newspaper and discovered that the cooks the school employed were buying inferior meat and keeping the extra money.