That price was for essentially CNC milled prototypes, I imagine if they cast them they would be a fraction of that price.
I wonder myself if it's small enough to use a laser-sintering print process to build.
Binder-jet printing of sand cores is pretty cool too.