Integrator Analog Video Routers is the one that I got a quote of $8k from.
Some other links:
VisionSwitch
Cornet Technology, Inc. -- Products -- Video -- VTX-AB
Series G2 Products: MxN Switching Arrays (matrices)
Cytec VDX Series
mrx32v features
4YDM Matrix Switcher
Signal Routers
Extron MAV 3232 V & MAV 3232 AV MAV Series
There are more available.
I need to learn some things before I can make an intellegent choice. For instance; I know that I need/want BNC connectors, and a 75-Ohm input impedence. Does this make the type of signal transparent? Or do I need something that will specifically handle PAL video?