In the professional world, genlocking became a little bit "obsolete", or at least less necessary, once the digital frame stores came around in the early 1990's. They were hugely complex and expensive back then, but now the data rates for SD video are something a $100 smartphone technology could handle!
If you can't find one used, designing and building your own digital frame store would be probably a good choice. It's not easy either from scratch. But at least video ADC/DAC ICs do exist, and you can then interface them with an FPGA+SDRAM or even just a very capable microcontroller with DMA.
This way, at least the result would be least iffy, giving perfect mixing, and most widely usable, with any equipment working without modifications. When you have the basics designed, it would be fairly trivial to add things like frame rate / color system conversions (PAL-NTSC) (and all those nice digital effects you can play around but don't actually want).