Anyone ever play the Independence Day (ID4) floppy disc games? I recall ...