Advice on precision CNC milling machines for PCB prototyping
Why don't you look at www.linuxcnc.com. The students could also learn to wire some actuators and sensors, with 12k$ budged you can build good quality router with ballscrews and precise linear guides.
Perhaps the PCB milling needs somehow lighter spindle for fast movements compared to metal working, that would also require liquid coolant.