Still no mail (no answer after something like 30 hours of
continuous polling).  However I have logged on to another
one of Dave's boards and left a message for him to let him
know of the problem.  He's probably away though.  BFN.  Paul.
@EOT:

--- Mksmsg