You can use an external thermal printer set to 9600 baud to print the times except for the initial sync time. Use a 5 pin RS232 connection to the TDC .
Pin 4 jumper to 5
Pin 1 signal to Pin 3 DB 9 Male into Seiko DPU414
Pin 2 Ground ( bottom center) to Pin 5 ground DB 9 male
Make sure Seiko is set to auto line feed and 9600 baud