lol for real. 5.25" were like 360KB. the universal standard by then was 3.5" (1.44 MB) disks and had been for several years. CD-ROMs with 700MB we're all over by 1994.
the real heads had CD-Rs by 1998 and we're making mix CDs and imaging cracked WaReZ.
what if instead of Dreamliner it's Cream Diner and it's just for the boys in a Waffle House bathroom.