What is the all time high school rushing record?

The all-time high school rushing record is generally attributed to Ken Hall, who rushed for 11,232 yards during his high school career at Sugar Land High School in Texas in the 1950s. However, record-keeping was less precise back then, and some records from that era are disputed. There are always claims and counterclaims about other players, making a definitive answer difficult.