I can put you in touch with a company that's selling a 1ph 240V to 3ph 15KW or 20Kw with filter, wanted £2k.
15KW might just be man enough not familiar with the DSG's is it clutch or spindle start on them. It will also run the other machines no need to unplug.
Do have the 7.5KW version the only way that would power is to go direct to motor.