I have been running a Robot Camp for most of a year for a teenage grandson and four friends. Progress of this two hour per week event has been less that I hoped but we are moving forward working both with Arduino and RPi Pico W. While we have been working with off-the-shelf parts, your choice of a kit is excellent for a class.
I have recently thought several times about offering a similar DMS class, but I have really not wanted to because my direction has been Arduino and Pico W. Thanks very much for picking up on this subject. I will help any way I can.