I am a k12 Technology Coordinator looking at the Mini Pupper/Turtlebot/etc… for High School students to learn ROS 2 with. Would there be any suggestions for a low cost, basic robot/kit for schools to use that others have had good luck with? We are a small school but have an active stem program that works currently with vex robotics and is part of the Amazon Computer Science Python training program and I would like to see what it would take to get started with ROS2 for our students. Thanks for any suggestions.