I had a conversation with the extron distributor in england and he said they used extron usp405's or similiar

http://www.extron.com/product/product.asp?id=usp405

These are 'universal signal processors' that have the ability to sync their output refresh rate to an external signal coming from the camera...