Philips LDK4210 SPG
 

Does anyone have any manuals, schematics etc for the Philips LDK4210 sync pulse generator? I've looked online and there's nothing I can see. We should have them in our library at the broadcast Engineering Museum www.becg.tv but I can't find them.

This is what they look like: https://www.ebay.com/itm/223475723631 The BBC used loads of them at one time.