Yes, an injection molding machine seems a bit overkill. Agree with Cyberdemon on how advanced injection molding is now a days that a simple machine without a teacher would not be a good investment for the school.
Also, if injection molding is of interest why not create simple RTV molds. Teaches you the basics of molding without the expense. Back in the day we used to have to take Metals, Woods and Plastics classes separately plus Design Methodology and Production Techniques…now it is all combined into one or two model making classes.
The electronics kit may be nice but also a bit misleading and I’m afraid students may focus more on the coding or EE design that they’ll put design second. Besides, if showing how something works in real life or having an working prototype is the goal, you can probably buy a new or used XYZ, open it up and use the same components for your new XYZ. Then you can use your school’s filament 3D printer to print your beautifully designed housing.
Maybe use the 10K for a sponsored project in AI? Have the class design a robot that solves a specific need or helps somebody perform a task better. Use the 10K for materials, prints or guest speakers on AI?