As someone who's brain resuses to work in 2d, I would be inclined to get them started on openscad and start thinking and designing in 3d.
Particularly any non-artistic pupils.

Printer wise - start with the makerbot replicator. Great machine, easy to fix and uses all standard parts.
Plus MASSIVE user base. I've currently got my klic-n-print (rep clone) extruders stripped for modifying with ptfe tube for flexible materials.
good machine, shouldn't be much wrong with it.

Sell the form1 and use the money to get a cr10 kit - or similiar.
You should be able to still get $3-400 for it.

found a video of a solidoodle from 2013 ! In 3d printer terms it's an antique lol
but looked fairly simple and shouldn't be that hard to get them working.

The 1st and 2nd gen cubes are decent machines: https://www.3dsystems.com/shop/support/cube/faq
They've been hacked for using standard filament right from the get-go: https://hackaday.com/2013/04/26/cube...bulk-filament/

Someone at your school was way ahead of the curve and has left you an interesting legacy. :-)

But start with the makerbot.