Make that 5 cats. The $4k one is actually 2 machines with a pile of
extras and manuals.
Do note, for anyone using one of these, if the disk doesn't
come out do not yank on the disk.
The design of the drive has a fatal flaw. The rail that guides the
head comes loose and the head gets stuck on the floppy.
If you yank it out, it will rip the head off.
This is not repairable and the drives are no longer made.
They can not easily be replaced with newer drives.
A while back I posted the way to fix them before they fail and
also after, so long as the head is not damaged.
For anyone using these, I highly recommend doing the fix
before it becomes an issue.
It is not that hard to do and will save the drive.
The floppy can be easily removed once you have the drive out
and opened so don't worry about loosing the disk, as long as
you don't yank it out.