tools using Martian dust Scientists are planning on using Martian dust to print whatever

#3dprinting tools using Martian dust
Scientists are planning on using Martian dust to print whatever the colonists will need

http://gizmodo.com/3d-printing-tools-from-martian-dust-will-one-day-help-u-1794507348

I know one of the people working on/involved with said project. They are using regolith from hawaii’s volcanos; or were at some point. They’ve got this really big robotic arm with some pretty powerful lasers on it last I heard.