We are getting closer to having the pcb mill back up and running. This software, http://flatcam.org/ lets you convert gerber files (what you send out to have board made) into g code files that can be milled on this device or the shapeko.
Here is a good basic tutorial on how to use.