Many thanks for all those who supplied the answer about ftp'ing a funny
filename to a mickysoft file name. FTP get takes an optional second
parameter, localfilename.
 
However, as a very defensive (<gr>) justification for my original post, the
on-line help for FTP give the following:
 
ftp> help get
get             receive file
ftp>
 
Ah well, rtfm with the benefit of 20/20 hindsight -
 
From the Winhelp for MS TCP-32:
 
<Quote>
 
Ftp:  get
 
Copies a remote file to the local computer using the current file transfer type.
 
get remote-file [local-file]
 
 
Parameters
 
remote-file
 
Specifies the remote file to copy.
 
local-file
 
Specifies the name to use on the local computer. If not specified, the file
is given the
remote-file name.
 
<Quote/>
 
You learn something every day!
Thanks to all,
Tony