Patches and discussion for Ensoniq VFX family

I managed to hose the operating system/sequencer on my VFX-SD after
repairing it (new battery).  The old floppy disks that contained the
op system are missing (MIA in a road case somewhere).   and while i
was able to restore the sounds, I can't get the sequencer to load...

So... is there anybody out there who sells/provides these floppies,
already formatted for the VFX-SD?