Stepper motors

what kind of stepper motors are used on the k1c the extruder motor in particular

These type?

yes those
is there a better extruder setup for the k1c??