All,

You can (still) buy external 5.25 floppy drives with USB connectors. This way you don't need to keep the old machine alive and just plug it into your Windows 10 machine.

Just google for "5.25 floppy drive usb external" and see several vendors. The cheapest Google came with was around 15 USD.