Or you can do a much cheaper tiny esp32 typewriter with a basic display and a usb for a keyboard. But who wants cheap for education.

Frankly, the problem is finding someone with the knowledge to administer it.

Initial cost is almost certainly not a factor; the components could be so old as to be free.