I didn't record that one - I got it from freesounds.org - so you may be right. Most of the floppy disks from the 90s were from the same manufacturers though...
