Doesn’t matter and I understand their school enrollment but these kids are good enough I could see them winning the D4 title in Ohio (as long as they could avoid Glenville who should be competing in D2 or D1)
Divisions are based on enrollment. Not how good you are. If anything, the OHSAA’s stupid competitive balance policy probably bumped Marion Local back down to D7 to begin with.