Proper designation of School Districts?

I was thinking of adding the boundaries of a few school districts in my local area, but found there doesn’t seem to be documentation on the wiki on the proper designation for them.

In the United States, a School District indicates the outer boundary of residents that feed into a given public school system. Looking at the information on the “Key:place” page, I infer that a School District should probably be tagged with:

  • place: district

  • boundary=administrative

  • admin_level=??

The admin_level seems to not be called out for School Districts specifically, though it looks like they would fit under level 9 or 10. Does it make sense to fit a School District under admin_level 9? Or is there another designation that should be used for this sort of boundary?