> I don’t even know of a high school around me that starts at 7:30AM.

Local high school runs 7:30 to 2:30. It's one of the better scoring high schools in the state, so we have some students who commute 45min-1hour to attend here (at least I had friends who did that when I went there).

When I was younger I lived in Albuquerque, and I believe that high school started at 7am, they had staggered start times of 9am for elementary, 8am for middle school, and 7am for high school.