Unfortunately all parameters of this coil are unknow
Then hard to find replacement...
Are you really sure the coil are the dead? The most common failure in the 12V circuit the dried out C9 capacitor which are kill the TR2 transistor.
I only once found a dead L1, then it is replaced from a chip dead machine.
In a case when no donor machine available, then I will look for a 5V to 9V DC/DC converter. If i remember right few users done this.
But if you find a way for a repair or replacement then will be great!