Thanks for the reply. The files I downloaded did have the correct extension but it seems they are LYX files in disguise so now I know what to look for I won’t make the same mistake again. I found an archive with most of the commercial releases so I’m just enjoying playing Desert Strike for the first time. Happy Days.
Just need a new screen next : )