I've been thinking of making something similar for my kodi setup for a while, possibly with NFC "disks", or SD card "cartridges", similar to this https://youtu.be/END_PVp3Eds, but I didn't think about using floppies. If I can get my hands on some, that could make a nice "physical library" too. Also a good tip about the arduino floppy drive library, I'll probably make use of that to debug my floppy drive to see if it's the problem or some configuration in my computer that isn't working
I did this for my child with an ESP32, RFID cards off ebay, and MP3s on a SD card. A fun project.
Tip: it's much quicker to read the serial number of the RFID card and rename the MP3 than it is to program the MP3 name to the card!