The existence of a shapeway $5 key kinda undermines 3D printing a plastic key from a ~1,000 3D printer doesn't it?
Yeah, the story doesn't mention printing anything from your own $1,000 printer. Shapeways sells much higher quality 3D printing as a service, which is why these guys used it.