Well @bigfix sent me two DC012s. I took the old one out, soldered in a socket and installed one of the "new" chips. As you can see below, the external video now works! :) I now need to reassemble the monitor board and see if the flyback is OK, but I have a strong suspicion that it has failed...