Round rock ISD

Moving to Austin and looking at houses in the round rock with good schools in 78761 area. Noticed that Cactus Ranch & James Garland are highly rated but Round Rock high is not going by GreatSchools, appreciate any any local feedback on the high school as our older one is going to high school next year. Thanks TC: 350K