I've found a dynamotor labelled CEK-211042B, presumably the '211042' machine for the TCS receiver, though I'm hardly an expert!  Label says 12V @ 3.8A in, 225V @ 100mA out, 4400 RPM. 

Anyone out there need this dynamotor?  It appears brand new/unused, though it's a bit on the dirty side.

73, John K4OZY