I have run it, assuming 6 ohms and 50 mH in the source. I proved that transformers can match impedances.
It wasn't worth doing, since everybody already knows that transformers can match inpedances. I was actually trying something else to boost the current (namely adding an inductor after the rectifier) which only helped 10 or 20%, not enough to publish. Some of the waveforms were amazing. Once I had that model, it was easy to stick in a transformer, so I did. It worked the way transformers are supposed to work.
John