Thanks, and shame on me for not looking it up first! I still wonder if the tracks were kept clock-synched or whether punch-ins would produce clock dislocations, and if they were somehow buffered...
This SoS article doesn't answer it, but provides more background.
