Yes all of that is covered in the " If your child does not have permission to work " section.
Doesn't he need a Social Security number for school?
Lawfully admitted noncitizens do not need a Social Security number to register for school, apply for educational tests, and apply for school lunch programs.
What documents do I need to show if he is a student?