Thanks for sharing! Did you have a look what else is needed to attempt to build this? There are some gerber files for the pcb boards + probably the components soldered on top + wires + clips + headband?
Edit: the paper actually mentions the cost of ironbci to be $350
Edit: the paper actually mentions the cost of ironbci to be $350