Thanks everyone!
I wish his school could provide this, but they are a “Bring Your Own Device” campus. We received a letter from their technology department with some requirements regarding OS, hard drive, RAM, etc, but I wasn’t sure if there are certain models teenagers like to use nowadays.
We are going to get him a light one installed with the standards recommended by the school.