Hello............There should be nothing special about that floppy drive. Any cheap floppy drive should work. You should be able to do it yourself fairly easily and CHEAPLY!
Good luck.