I may have a Denford stepper - NEMA23 with circular body.... though to be honest you can replace with a fairly generic part.

EDIT: Ignore that - I don't *think* that stepper in the first picture is an OEM part (unless Denford had very different designs - may be the case over the years). That looks like a fairly generic stepper tbh.