Welp, I guess we're f...d then and have to go for option 3. sit and wait it out. I might be able to hack a script together that restarts the server as soon it goes offline, but that's just another workaround.
The 10 euros bounty still stands by the way. Not sure if it's patchable at all for Windows.