Thanks guys.
I’ll look into that plug-in, even though I’m a sceptic until it’s proven it can do the job.
I was in touch with the HQ a bit south of here, and will be getting a PAL CRT with SDI input to double check things. I just wish I could have separate output settings for SDI A and B out of the Decklink HD Extreme 3D card…. HD on one, SD on the other..