Thanks Dave.
Looking at my two year old notes, it’s a Flyback transformer with two outputs, a 9v which serves a 5v circuit and a 15v which serves a 12v circuit. The 12v output rapidly cycles from about 11.5v to 14.5v. There is no output on the 9v side but I think I remember that it appears if you disconnect a diode. That’s as far as I got, thinking that I would look out for a spares or repairs machine to cannibalise but one has never appeared at a reasonable price.