Hmm, this is going to rack my brain. I have DiskDupe at work but will need to find a way to get it to you. It's also been 8-9yrs since I last touched a floppy disk system so I'll need to refresh my brain.
Once you get DiskDupe, format a new floppy in the RMX format, then put it in the Coral and that's about it. But I'll confirm tomorrow once I have the full details.