Oh, very nice! I hadn't heard that AWS had a program. I've used Github's education pack, once as an educator to get a free org with 20 private accounts, and once where I asked students to signup. The former situation was too cumbersome (I had to create a repo for each student, and students constantly confused their own personal account with their org account), and in the latter, only a few students out of 20 got approved by the time the course ended -- I think someone told me the process was backlogged.

I'm willing just to expense things on my account for the sake of simplicity but will see if AWS has a more streamlined process for class/per-student approval. Thanks!